flora-commits Mailing List for Flora-2
Brought to you by:
kifer
Menu
▾
▴
flora-commits — List for commit messages
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
(8) |
2
(6) |
3
|
4
|
5
|
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
|
13
|
14
|
15
(1) |
16
|
17
(1) |
18
|
19
|
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
|
27
|
28
|
29
(1) |
30
|
31
|
|
|
|
From: <ki...@us...> - 2014-07-29 05:34:57
|
Revision: 1208
http://sourceforge.net/p/flora/src/1208
Author: kifer
Date: 2014-07-29 05:34:54 +0000 (Tue, 29 Jul 2014)
Log Message:
-----------
Merge from Ergo:
reverst the semantics of empty frames to what it was some 10 years ago: empty frames are not true tautologically, but instead depend on whether the frame's object has been made known to the KB
Escape '"' when writing datatypes and such.
Modified Paths:
--------------
trunk/flora2/closure/flrcommon.fli
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/syslib/flrdecode.P
trunk/flora2/version.flh
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-07-17 01:06:47
|
Revision: 1207
http://sourceforge.net/p/flora/src/1207
Author: kifer
Date: 2014-07-17 01:06:38 +0000 (Thu, 17 Jul 2014)
Log Message:
-----------
small installation fixes
Modified Paths:
--------------
trunk/flora2/Makefile
trunk/flora2/admin/BundleBall.sh
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/docs/Makefile
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-07-15 02:54:53
|
Revision: 1206
http://sourceforge.net/p/flora/src/1206
Author: kifer
Date: 2014-07-15 02:54:43 +0000 (Tue, 15 Jul 2014)
Log Message:
-----------
Merge from ergo
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/.gitignore
trunk/flora2/AT/Makefile
trunk/flora2/Makefile
trunk/flora2/admin/.excludedFiles
trunk/flora2/admin/windows/.gitignore
trunk/flora2/admin/windows/NOTES_bundle.txt
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/closure/Makefile
trunk/flora2/datatypes/Makefile
trunk/flora2/debugger/Makefile
trunk/flora2/demos/Makefile
trunk/flora2/docs/Makefile
trunk/flora2/flora2.P
trunk/flora2/genincludes/Makefile
trunk/flora2/includes/Makefile
trunk/flora2/lib/Makefile
trunk/flora2/makeflora
trunk/flora2/pkgs/Makefile
trunk/flora2/pkgs/prolog/flrpm.P
trunk/flora2/syslib/Makefile
trunk/flora2/version.flh
trunk/flora2-testsuite/delaystests/.gitignore
trunk/flora2-testsuite/exporttest/.gitignore
trunk/flora2-testsuite/functions/.gitignore
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/symbols/.gitignore
trunk/flora2-website/aboutFlogic.html
trunk/flora2-website/aboutTR.html
trunk/flora2-website/download.html
trunk/flora2-website/florabar.html
trunk/flora2-website/florahome.html
trunk/flora2-website/installation.html
trunk/flora2-website/relatedWorks.html
trunk/flora2-website/release_notes.html
trunk/flora2-website/tutorial.html
Added Paths:
-----------
trunk/flora2/AT/prolog/CompileChangedFiles.sh
trunk/flora2/AT/prolog/Makefile
trunk/flora2/pkgs/prolog/CompileChangedFiles.sh
trunk/flora2/pkgs/prolog/Makefile
Removed Paths:
-------------
trunk/flora2/docs/.gitignore
trunk/flora2/etc/.gitignore
trunk/flora2/flrincludes/.gitignore
|
|
From: <ki...@us...> - 2014-07-02 05:52:03
|
Revision: 1205
http://sourceforge.net/p/flora/src/1205
Author: kifer
Date: 2014-07-02 05:52:00 +0000 (Wed, 02 Jul 2014)
Log Message:
-----------
build bump
Modified Paths:
--------------
trunk/flora2/version.flh
Added Paths:
-----------
trunk/flora2-website/.gitignore
|
|
From: <ki...@us...> - 2014-07-02 03:57:22
|
Revision: 1204
http://sourceforge.net/p/flora/src/1204
Author: kifer
Date: 2014-07-02 03:57:13 +0000 (Wed, 02 Jul 2014)
Log Message:
-----------
minor
Modified Paths:
--------------
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
|
|
From: <ki...@us...> - 2014-07-02 03:26:37
|
Revision: 1203
http://sourceforge.net/p/flora/src/1203
Author: kifer
Date: 2014-07-02 03:26:36 +0000 (Wed, 02 Jul 2014)
Log Message:
-----------
version bump
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-07-02 03:26:35
|
Revision: 1202
http://sourceforge.net/p/flora/src/1202
Author: kifer
Date: 2014-07-02 03:26:31 +0000 (Wed, 02 Jul 2014)
Log Message:
-----------
tricks to avoid recompilation during installation
Modified Paths:
--------------
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
trunk/flora2/admin/windows/flora2bundle.iss
|
|
From: <ki...@us...> - 2014-07-02 02:36:41
|
Revision: 1201
http://sourceforge.net/p/flora/src/1201
Author: kifer
Date: 2014-07-02 02:36:33 +0000 (Wed, 02 Jul 2014)
Log Message:
-----------
move all xwam files to the end to affect time stamps
Modified Paths:
--------------
trunk/flora2/admin/windows/flora2bundle.iss
|
|
From: <ki...@us...> - 2014-07-02 02:23:45
|
Revision: 1200
http://sourceforge.net/p/flora/src/1200
Author: kifer
Date: 2014-07-02 02:23:42 +0000 (Wed, 02 Jul 2014)
Log Message:
-----------
small fix
Modified Paths:
--------------
trunk/flora2/admin/windows/flora2bundle.iss
|
|
From: <ki...@us...> - 2014-07-01 04:29:16
|
Revision: 1199
http://sourceforge.net/p/flora/src/1199
Author: kifer
Date: 2014-07-01 04:29:05 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
minor
Modified Paths:
--------------
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2014-07-01 00:58:12
|
Revision: 1198
http://sourceforge.net/p/flora/src/1198
Author: kifer
Date: 2014-07-01 00:58:05 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
updated revision from svn
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-07-01 00:48:35
|
Revision: 1197
http://sourceforge.net/p/flora/src/1197
Author: kifer
Date: 2014-07-01 00:48:33 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
version bump
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-07-01 00:48:32
|
Revision: 1196
http://sourceforge.net/p/flora/src/1196
Author: kifer
Date: 2014-07-01 00:48:28 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
minor
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-07-01 00:40:02
|
Revision: 1195
http://sourceforge.net/p/flora/src/1195
Author: kifer
Date: 2014-07-01 00:39:53 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
date change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-07-01 00:36:13
|
Revision: 1194
http://sourceforge.net/p/flora/src/1194
Author: kifer
Date: 2014-07-01 00:36:11 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
date change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-07-01 00:34:41
|
Revision: 1193
http://sourceforge.net/p/flora/src/1193
Author: kifer
Date: 2014-07-01 00:34:39 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
conflict fixes
Property Changed:
----------------
trunk/flora2/
trunk/flora2/cc/
trunk/flora2/includes/
|
|
From: <ki...@us...> - 2014-07-01 00:31:28
|
Revision: 1192
http://sourceforge.net/p/flora/src/1192
Author: kifer
Date: 2014-07-01 00:31:20 +0000 (Tue, 01 Jul 2014)
Log Message:
-----------
conflict fixes
Modified Paths:
--------------
trunk/flora2/admin/.excludedFiles
Added Paths:
-----------
trunk/flora2/demos/db_test.flh
Removed Paths:
-------------
trunk/flora2/demos/db_test.flh
|