flora-commits Mailing List for Flora-2
Brought to you by:
kifer
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(59) |
Jun
(43) |
Jul
(4) |
Aug
(4) |
Sep
(102) |
Oct
(20) |
Nov
(47) |
Dec
(32) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(24) |
Feb
(34) |
Mar
(72) |
Apr
(36) |
May
(10) |
Jun
(46) |
Jul
(36) |
Aug
(24) |
Sep
(37) |
Oct
(27) |
Nov
(43) |
Dec
(40) |
| 2004 |
Jan
(35) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(30) |
Aug
(83) |
Sep
(68) |
Oct
(38) |
Nov
(3) |
Dec
(7) |
| 2005 |
Jan
(9) |
Feb
(31) |
Mar
(46) |
Apr
(73) |
May
(21) |
Jun
(1) |
Jul
(32) |
Aug
(33) |
Sep
(3) |
Oct
(28) |
Nov
(4) |
Dec
(23) |
| 2006 |
Jan
(22) |
Feb
(2) |
Mar
(12) |
Apr
(23) |
May
(73) |
Jun
(14) |
Jul
|
Aug
(20) |
Sep
(14) |
Oct
(5) |
Nov
|
Dec
(14) |
| 2007 |
Jan
(54) |
Feb
(81) |
Mar
(286) |
Apr
(313) |
May
(154) |
Jun
(85) |
Jul
(8) |
Aug
(11) |
Sep
(12) |
Oct
(14) |
Nov
(6) |
Dec
(6) |
| 2008 |
Jan
|
Feb
|
Mar
(1) |
Apr
(12) |
May
(4) |
Jun
|
Jul
(13) |
Aug
(22) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(46) |
Jun
(43) |
Jul
(46) |
Aug
(9) |
Sep
(13) |
Oct
(31) |
Nov
(42) |
Dec
(18) |
| 2014 |
Jan
(7) |
Feb
(7) |
Mar
(11) |
Apr
(13) |
May
(16) |
Jun
(6) |
Jul
(17) |
Aug
|
Sep
(2) |
Oct
|
Nov
(1) |
Dec
|
| 2015 |
Jan
|
Feb
(17) |
Mar
(4) |
Apr
(3) |
May
(2) |
Jun
(3) |
Jul
(2) |
Aug
(3) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
(2) |
| 2017 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
|
|
|
1
|
2
(1) |
|
3
|
4
|
5
|
6
|
7
(1) |
8
|
9
|
|
10
|
11
|
12
|
13
|
14
|
15
|
16
|
|
17
|
18
|
19
|
20
|
21
|
22
|
23
|
|
24
|
25
|
26
|
27
|
28
|
29
|
30
|
|
31
|
|
|
|
|
|
|
|
From: <ki...@us...> - 2015-05-07 22:34:51
|
Revision: 1237
http://sourceforge.net/p/flora/src/1237
Author: kifer
Date: 2015-05-07 22:34:49 +0000 (Thu, 07 May 2015)
Log Message:
-----------
fixed a datatype bug, cleanup
Modified Paths:
--------------
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrcommon_inh.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdtype_sub.P
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/basetypes_old
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2015-05-02 20:47:23
|
Revision: 1236
http://sourceforge.net/p/flora/src/1236
Author: kifer
Date: 2015-05-02 20:47:21 +0000 (Sat, 02 May 2015)
Log Message:
-----------
improved the installers
fixed 2 bugs in reification
improved handling of ^C
Modified Paths:
--------------
trunk/flora2/admin/BinaryTarBall.sh
trunk/flora2/admin/ReleaseTarBall.sh
trunk/flora2/admin/windows/NOTES.txt
trunk/flora2/admin/windows/NOTES_bundle.txt
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/floraconfig
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_porting.flh
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/genincludes/flrpreddef.fli
trunk/flora2/genincludes/flrpreddef_NAF.inc
trunk/flora2/genincludes/flrpreddef_neg.inc
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrexport.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/version.flh
trunk/flora2-testsuite/testsuite.sh
trunk/flora2-website/installation.html
Added Paths:
-----------
trunk/flora2/admin/MkFloraInstaller.sh
trunk/flora2/admin/windows/flora2-no-xsb.iss
trunk/flora2/flora2_config.sh
Removed Paths:
-------------
trunk/flora2/admin/BundleBall.sh
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/bundle_config.sh
|