flora-commits Mailing List for Flora-2 (Page 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
|
|
From: <ki...@us...> - 2015-02-12 05:45:55
|
Revision: 1226
http://sourceforge.net/p/flora/src/1226
Author: kifer
Date: 2015-02-12 05:45:54 +0000 (Thu, 12 Feb 2015)
Log Message:
-----------
dummy update
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-12 05:22:57
|
Revision: 1225
http://sourceforge.net/p/flora/src/1225
Author: kifer
Date: 2015-02-12 05:22:50 +0000 (Thu, 12 Feb 2015)
Log Message:
-----------
svn version update
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-12 05:21:00
|
Revision: 1224
http://sourceforge.net/p/flora/src/1224
Author: kifer
Date: 2015-02-12 05:20:53 +0000 (Thu, 12 Feb 2015)
Log Message:
-----------
fixed 2 minor bugs
Modified Paths:
--------------
trunk/flora2/datatypes/flrdatatype_utils.P
trunk/flora2/syslib/flrnegation.P
|
|
From: <ki...@us...> - 2015-02-11 02:58:45
|
Revision: 1223
http://sourceforge.net/p/flora/src/1223
Author: kifer
Date: 2015-02-11 02:58:35 +0000 (Wed, 11 Feb 2015)
Log Message:
-----------
comments
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-11 02:17:31
|
Revision: 1222
http://sourceforge.net/p/flora/src/1222
Author: kifer
Date: 2015-02-11 02:17:16 +0000 (Wed, 11 Feb 2015)
Log Message:
-----------
Merge minor fixes from the ergo branch
Modified Paths:
--------------
trunk/flora2/docs/flora-flrjava.tex
trunk/flora2/docs/flora-flrxml.tex
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora-persistence.tex
trunk/flora2/docs/flora-prettyprint.tex
trunk/flora2/docs/flora-protege.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/emacs/flora.el
trunk/flora2/flrcoder.H
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrregistry.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-website/florahome.html
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2015-02-07 02:52:21
|
Revision: 1221
http://sourceforge.net/p/flora/src/1221
Author: kifer
Date: 2015-02-07 02:52:14 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
test
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-07 02:47:48
|
Revision: 1220
http://sourceforge.net/p/flora/src/1220
Author: kifer
Date: 2015-02-07 02:47:46 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
another fix
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-07 02:46:16
|
Revision: 1219
http://sourceforge.net/p/flora/src/1219
Author: kifer
Date: 2015-02-07 02:46:14 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
revision fix
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-07 02:29:48
|
Revision: 1218
http://sourceforge.net/p/flora/src/1218
Author: kifer
Date: 2015-02-07 02:29:41 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
date fix
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-07 01:40:46
|
Revision: 1217
http://sourceforge.net/p/flora/src/1217
Author: kifer
Date: 2015-02-07 01:40:45 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
version fix
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-07 01:40:44
|
Revision: 1216
http://sourceforge.net/p/flora/src/1216
Author: kifer
Date: 2015-02-07 01:40:43 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
version fix
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-02-07 01:25:52
|
Revision: 1215
http://sourceforge.net/p/flora/src/1215
Author: kifer
Date: 2015-02-07 01:25:43 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
Merge branch 'Flora-remote' into HEAD
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/.gitignore
trunk/flora2/AT/atck1alt.flr
trunk/flora2/AT/atck2.flr
trunk/flora2/AT/atck3.flr
trunk/flora2/AT/atco.flr
trunk/flora2/AT/atco2.flr
trunk/flora2/AT/atco3.flr
trunk/flora2/AT/flrgclp.flr
trunk/flora2/AT/gclpe.flr
trunk/flora2/AT/ogclp.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/AT/sgclp.flr
trunk/flora2/Makefile
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/cc/.gitignore
trunk/flora2/cc/flora_ground.c
trunk/flora2/cc/prolog2hilog.c
trunk/flora2/cc/windows/flora_ground.dll
trunk/flora2/cc/windows/flora_ground.exp
trunk/flora2/cc/windows/flora_ground.lib
trunk/flora2/cc/windows/prolog2hilog.dll
trunk/flora2/cc/windows/prolog2hilog.exp
trunk/flora2/cc/windows/prolog2hilog.lib
trunk/flora2/cc/windows64/flora_ground.dll
trunk/flora2/cc/windows64/flora_ground.exp
trunk/flora2/cc/windows64/flora_ground.lib
trunk/flora2/cc/windows64/prolog2hilog.dll
trunk/flora2/cc/windows64/prolog2hilog.exp
trunk/flora2/cc/windows64/prolog2hilog.lib
trunk/flora2/closure/Makefile
trunk/flora2/closure/NMakefile.mak
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrcommon_inh.fli
trunk/flora2/closure/flreqltrailer.fli
trunk/flora2/closure/flreqltrailer_inh.fli
trunk/flora2/closure/flreqltrailer_neg.inc
trunk/flora2/closure/flreqltrailer_neg_inh.inc
trunk/flora2/closure/flrequality_none.inc
trunk/flora2/closure/flrimportaxioms.fli
trunk/flora2/closure/flrnoeqltrailer.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer_neg.inc
trunk/flora2/closure/flrsigaxioms.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/datatypes/flrdatatype_parse.P
trunk/flora2/datatypes/flrdatatype_utils.P
trunk/flora2/datatypes/flrdtype_sub.P
trunk/flora2/datatypes/flrtime_arith.P
trunk/flora2/debugger/dynamic_data.in
trunk/flora2/debugger/flrdebugger.P
trunk/flora2/debugger/flrtabledump.P
trunk/flora2/debugger/flrterminyzer.P
trunk/flora2/debugger/static_data.in
trunk/flora2/demos/benchmark.flr
trunk/flora2/demos/flogic_basics.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/demos/sgml/sgmltest.flr
trunk/flora2/demos/xpath/xpathtest.flr
trunk/flora2/docs/Makefile
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrarguments.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.H
trunk/flora2/flrcomposer.P
trunk/flora2/flrdependency.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_extensions.flh
trunk/flora2/flrincludes/flora_tabling_methods.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrincludes/flora_var_attributes.flh
trunk/flora2/flrincludes/flora_wspredicates.flh
trunk/flora2/flrlexer.H
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrnodefp.H
trunk/flora2/flrnodefp.P
trunk/flora2/flrnowsp.P
trunk/flora2/flroperator.H
trunk/flora2/flroperator.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprolog.H
trunk/flora2/flrprolog.P
trunk/flora2/flrregistry.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrsynonym.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrversion.P
trunk/flora2/flrwrapper.H
trunk/flora2/flrwrapper.P
trunk/flora2/genincludes/Makefile
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/headerinc/flrabolish_inc.flh
trunk/flora2/headerinc/flrdefinition_inc.flh
trunk/flora2/headerinc/flrdyna_inc.flh
trunk/flora2/headerinc/flrdyndeclare_inc.flh
trunk/flora2/headerinc/flrdynz_inc.flh
trunk/flora2/headerinc/flrheader2_inc.flh
trunk/flora2/headerinc/flrheader_inc.flh
trunk/flora2/headerinc/flrindex_P_inc.flh
trunk/flora2/headerinc/flropposes_inc.flh
trunk/flora2/headerinc/flrpatch_inc.flh
trunk/flora2/headerinc/flrpreddef_inc.flh
trunk/flora2/headerinc/flrrefreshtable_inc.flh
trunk/flora2/headerinc/flrtrailer_inc.flh
trunk/flora2/headerinc/flrtrailerregistry_inc.flh
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/includes/flrtrailer.flh
trunk/flora2/includes/flrtrailerregistry.flh
trunk/flora2/java/API/README
trunk/flora2/java/API/build.bat
trunk/flora2/java/API/build.sh
trunk/flora2/java/API/examples/buildExample.bat
trunk/flora2/java/API/examples/flogicbasicsExample/flogicbasicsExample.java
trunk/flora2/java/API/examples/flogicbasicsExample/person.java
trunk/flora2/java/API/examples/fooExample/foo.flr
trunk/flora2/java/API/examples/fooExample/fooExample.java
trunk/flora2/java/API/examples/runExample.bat
trunk/flora2/java/API/examples/runExample.sh
trunk/flora2/java/API/javaAPI/initFloraAPI.P
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/FloraClassLoader.java
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/FloraConstants.java
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/FloraObject.java
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/FloraSession.java
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/PrologFlora.java
trunk/flora2/java/README
trunk/flora2/java/interprolog.jar
trunk/flora2/java/windowsVariables.bat
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrshow.flr
trunk/flora2/libinc/flrbasetype_inc.flh
trunk/flora2/libinc/flrio_inc.flh
trunk/flora2/libinc/flrparse_inc.flh
trunk/flora2/libinc/flrstorage_inc.flh
trunk/flora2/libinc/flrsystem_inc.flh
trunk/flora2/libinc/flrtypeconstraint_inc.flh
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/persistentmodules.flr
trunk/flora2/pkgs/prolog/flrpm.P
trunk/flora2/pkgs/prolog/flrxml.P
trunk/flora2/syslib/.gitignore
trunk/flora2/syslib/flraggavg.P
trunk/flora2/syslib/flraggcolbag.P
trunk/flora2/syslib/flraggcolset.P
trunk/flora2/syslib/flraggcount.P
trunk/flora2/syslib/flraggmax.P
trunk/flora2/syslib/flraggmin.P
trunk/flora2/syslib/flraggsortby.P
trunk/flora2/syslib/flraggsum.P
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrauxil.P
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrclause.P
trunk/flora2/syslib/flrcontrol.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrerrhandler.P
trunk/flora2/syslib/flrexport.P
trunk/flora2/syslib/flrgateway.P
trunk/flora2/syslib/flrhooks.P
trunk/flora2/syslib/flrimportedcalls.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flrnegation.P
trunk/flora2/syslib/flrsemantics.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2/syslib/flrtables.P
trunk/flora2/syslib/flrtrim.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/syslib/flrunify_handlers.P
trunk/flora2/version.flh
trunk/flora2-performance/CYC_tests/silk-predicates.flr
trunk/flora2-performance/CYC_tests/silk-predicates_at_builtin.flr
trunk/flora2-performance/CYC_tests/test0/core-pragmatics.flr
trunk/flora2-performance/CYC_tests/test0/core-rules.flr
trunk/flora2-performance/CYC_tests/test0/latest-tiny-kb.flr
trunk/flora2-performance/CYC_tests/test0/load.flr
trunk/flora2-performance/CYC_tests/test0/load2.flr
trunk/flora2-performance/CYC_tests/test0/load_production.flr
trunk/flora2-performance/CYC_tests/test0/rmt-removal-lookup-pos-1.flr
trunk/flora2-performance/PaulH_tests/test1/silk-predicates.flr
trunk/flora2-performance/aux_files/silk-predicates.flr
trunk/flora2-performance/aux_files/silk-predicates_at_builtin.flr
trunk/flora2-performance/cyc150/kbq-cptevaluationtest-howtoendcellresponsetosignalwithphosphorylationcascade-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-acellinsphaseisactivelydoingwhat-0.flr
trunk/flora2-performance/wine_ontology/wine2.flr
trunk/flora2-testsuite/apptests/gpmanager_test_old
trunk/flora2-testsuite/apptests/programs/Grade.flr
trunk/flora2-testsuite/defeasible/atck1/actions.flr
trunk/flora2-testsuite/defeasible/atck1/defeasible.flr
trunk/flora2-testsuite/defeasible/atck1/toxic.flr
trunk/flora2-testsuite/defeasible/atck2/actions.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2/toxic.flr
trunk/flora2-testsuite/defeasible/atck3/actions.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/defeasible/new_gclp/actions.flr
trunk/flora2-testsuite/defeasible/new_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/new_gclp/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/new_gclp/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/new_gclp/toxic.flr
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests.flr
trunk/flora2-testsuite/exporttest/export_test_old
trunk/flora2-testsuite/exporttest/importmodule.flr
trunk/flora2-testsuite/exporttest/importmodule_old
trunk/flora2-testsuite/functions/.gitignore
trunk/flora2-testsuite/functions/equality/fib_eq.flr
trunk/flora2-testsuite/functions/equality/fib_eq2.flr
trunk/flora2-testsuite/functions/errors_warnings_tests_flora_old
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/abp.flr
trunk/flora2-testsuite/general_tests/add1.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/add_load_old
trunk/flora2-testsuite/general_tests/agent_old
trunk/flora2-testsuite/general_tests/basetype_foo.flr
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/basetypes_old
trunk/flora2-testsuite/general_tests/btupdates.flr
trunk/flora2-testsuite/general_tests/callReified.flr
trunk/flora2-testsuite/general_tests/callReified_foo.flr
trunk/flora2-testsuite/general_tests/callReified_foo2.flr
trunk/flora2-testsuite/general_tests/clause.flr
trunk/flora2-testsuite/general_tests/clause_old
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-testsuite/general_tests/cranial_flora_old
trunk/flora2-testsuite/general_tests/decodetest.flr
trunk/flora2-testsuite/general_tests/decodetest_old
trunk/flora2-testsuite/general_tests/delaytest.flr
trunk/flora2-testsuite/general_tests/delaytest2.flr
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-testsuite/general_tests/enable.flr
trunk/flora2-testsuite/general_tests/equaltest.flr
trunk/flora2-testsuite/general_tests/explicit_negation.flr
trunk/flora2-testsuite/general_tests/groundpattern.flr
trunk/flora2-testsuite/general_tests/hypothetical.flr
trunk/flora2-testsuite/general_tests/incr_abolish.flr
trunk/flora2-testsuite/general_tests/incremental.flr
trunk/flora2-testsuite/general_tests/incremental2.flr
trunk/flora2-testsuite/general_tests/incremental_old
trunk/flora2-testsuite/general_tests/inher_termination.flr
trunk/flora2-testsuite/general_tests/inherit_with_descriptors.flr
trunk/flora2-testsuite/general_tests/inherit_with_descriptors_old
trunk/flora2-testsuite/general_tests/inheritance_boolmeth.flr
trunk/flora2-testsuite/general_tests/inheritance_guard.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/miguel_test.flr
trunk/flora2-testsuite/general_tests/module_syntax.flr
trunk/flora2-testsuite/general_tests/mon_inherit.flr
trunk/flora2-testsuite/general_tests/mon_inherit_old
trunk/flora2-testsuite/general_tests/negation.flr
trunk/flora2-testsuite/general_tests/noinheritance.flr
trunk/flora2-testsuite/general_tests/prefix_old
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/prolog_directive_old
trunk/flora2-testsuite/general_tests/prolog_tests.flr
trunk/flora2-testsuite/general_tests/prolog_tests_old
trunk/flora2-testsuite/general_tests/reif.flr
trunk/flora2-testsuite/general_tests/reifiedRules.flr
trunk/flora2-testsuite/general_tests/reifiedRules_old
trunk/flora2-testsuite/general_tests/sensortest.flr
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/table_dump_old
trunk/flora2-testsuite/general_tests/tabledupdates.flr
trunk/flora2-testsuite/general_tests/terminyzer0.flr
trunk/flora2-testsuite/general_tests/terminyzer0_xsblog
trunk/flora2-testsuite/general_tests/terminyzer1.flr
trunk/flora2-testsuite/general_tests/terminyzer2.flr
trunk/flora2-testsuite/general_tests/textual_load_flora_old
trunk/flora2-testsuite/general_tests/tnf.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
trunk/flora2-testsuite/general_tests/trailer.flr
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/general_tests/wine2.flr
trunk/flora2-testsuite/java/quotation/test/sqwrl.flr
trunk/flora2-testsuite/symbols/.gitignore
trunk/flora2-testsuite/symbols/symbols_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests_flora_old
trunk/flora2-testsuite/test_dir.sh
trunk/flora2-testsuite/test_one_file.sh
trunk/flora2-testsuite/testsuite.sh
trunk/flora2-website/florahome.html
trunk/flora2-website/installation.html
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/closure/flreqltrailer_common.fli
trunk/flora2/closure/flrnoeqltrailer_common.fli
trunk/flora2/datatypes/ergoisms/
trunk/flora2/datatypes/ergoisms/.gitignore
trunk/flora2/demos/sgml/actualoutput/
trunk/flora2/demos/sgml/actualoutput/.gitignore
trunk/flora2/docs/.gitignore
trunk/flora2/flrincludes/.gitignore
trunk/flora2/genincludes/.gitignore
trunk/flora2/genincludes/flrdynamic_connectors.fli
trunk/flora2/headerinc/flrdynamic_connectors_inc.flh
trunk/flora2/java/.gitignore
trunk/flora2/libinc/flrshow_inc.flh
trunk/flora2/syslib/flrsetops.P
trunk/flora2-testsuite/apptests/programs/.gitignore
trunk/flora2-testsuite/general_tests/auxfiles/
trunk/flora2-testsuite/general_tests/auxfiles/depcheck_data1.flr
trunk/flora2-testsuite/general_tests/auxfiles/depcheck_data2.flr
trunk/flora2-testsuite/general_tests/depcheck2.flr
trunk/flora2-testsuite/general_tests/depcheck2_old
trunk/flora2-testsuite/general_tests/interaction.flr
trunk/flora2-testsuite/general_tests/interaction_m1.flr
trunk/flora2-testsuite/general_tests/interaction_m2.flr
trunk/flora2-testsuite/general_tests/interaction_m3.flr
trunk/flora2-testsuite/general_tests/interaction_old
trunk/flora2-testsuite/general_tests/io.flr
trunk/flora2-testsuite/general_tests/io_old
trunk/flora2-testsuite/general_tests/negnaftest.flr
trunk/flora2-testsuite/general_tests/negnaftest_old
trunk/flora2-testsuite/general_tests/terminyzer0_old
trunk/flora2-testsuite/general_tests/terminyzer1_old
trunk/flora2-testsuite/general_tests/terminyzer1_xsblog_flora
trunk/flora2-testsuite/general_tests/terminyzer2_old
trunk/flora2-testsuite/general_tests/terminyzer2_xsblog_flora
trunk/flora2-testsuite/general_tests/terminyzer3.flr
trunk/flora2-testsuite/general_tests/terminyzer3_old
Removed Paths:
-------------
trunk/flora2/ergoisms/
trunk/flora2/genincludes/flrdescriptor_metafacts.fli
trunk/flora2/headerinc/flrdescriptor_metafacts_inc.flh
trunk/flora2/java/API/jar-flora2java.sh
trunk/flora2/libinc/flreval_inc.flh
trunk/flora2-testsuite/general_tests/terminyzer1_xsblog
trunk/flora2-testsuite/general_tests/terminyzer2_xsblog
Property Changed:
----------------
trunk/
|
|
From: <ki...@us...> - 2015-02-07 01:16:44
|
Revision: 1214
http://sourceforge.net/p/flora/src/1214
Author: kifer
Date: 2015-02-07 01:16:43 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
various cleanups
Modified Paths:
--------------
trunk/flora2/Makefile
trunk/flora2/admin/.excludedFiles
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_extensions.flh
trunk/flora2/flrincludes/flora_prefix.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2/syslib/flrtables.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-testsuite/general_tests/cranial_flora_old
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
trunk/flora2-testsuite/test_dir.sh
trunk/flora2-testsuite/test_one_file.sh
trunk/flora2-testsuite/testsuite.sh
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/ergoisms/
trunk/flora2/ergoisms/version.flh
|
|
From: <ki...@us...> - 2015-02-07 01:16:35
|
Revision: 1213
http://sourceforge.net/p/flora/src/1213
Author: kifer
Date: 2015-02-07 01:16:34 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
Created or replaced branch /trunk from /trunk:1210
Added Paths:
-----------
trunk/
Removed Paths:
-------------
trunk/
|
|
From: <ki...@us...> - 2015-02-07 01:02:10
|
Revision: 1212
http://sourceforge.net/p/flora/src/1212
Author: kifer
Date: 2015-02-07 01:02:08 +0000 (Sat, 07 Feb 2015)
Log Message:
-----------
various cleanups
Modified Paths:
--------------
trunk/flora2/Makefile
trunk/flora2/admin/.excludedFiles
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_extensions.flh
trunk/flora2/flrincludes/flora_prefix.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2/syslib/flrtables.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-testsuite/general_tests/cranial_flora_old
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
trunk/flora2-testsuite/test_dir.sh
trunk/flora2-testsuite/test_one_file.sh
trunk/flora2-testsuite/testsuite.sh
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/ergoisms/
trunk/flora2/ergoisms/version.flh
|
|
From: <ki...@us...> - 2014-11-17 08:07:17
|
Revision: 1211
http://sourceforge.net/p/flora/src/1211
Author: kifer
Date: 2014-11-17 08:07:05 +0000 (Mon, 17 Nov 2014)
Log Message:
-----------
deleted unneeded branch
Removed Paths:
-------------
branches/polina's_hilog_udf_2nd_attempt/
|
|
From: <ki...@us...> - 2014-09-03 04:42:34
|
Revision: 1210
http://sourceforge.net/p/flora/src/1210
Author: kifer
Date: 2014-09-03 04:42:27 +0000 (Wed, 03 Sep 2014)
Log Message:
-----------
fixed persistent modules, which got stale after we added the context argument to Flora wrappers in the tries.
Modified Paths:
--------------
trunk/flora2/demos/db_test1.flr
trunk/flora2/demos/db_test2.flr
trunk/flora2/demos/db_test3.flr
trunk/flora2/demos/db_test4.flr
trunk/flora2/pkgs/prolog/flrpm.P
trunk/flora2/syslib/flrhooks.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-09-02 01:58:08
|
Revision: 1209
http://sourceforge.net/p/flora/src/1209
Author: kifer
Date: 2014-09-02 01:58:03 +0000 (Tue, 02 Sep 2014)
Log Message:
-----------
1. Fixed the representation of seconds fraction in datatypes
2. * in signature constraints is not recorded as a used symbol, eliminating spurious warnings.
3. Fixed the encoding of \# in the flora shell
Modified Paths:
--------------
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/bundle_config.sh
trunk/flora2/datatypes/flrdatatype_utils.P
trunk/flora2/demos/db_test4.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/pkgs/prolog/flrpm.P
trunk/flora2/syslib/flrcontrol.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flroptimize.P
trunk/flora2/syslib/flrsemantics.P
trunk/flora2/syslib/flrtables.P
trunk/flora2/version.flh
trunk/flora2-testsuite/defeasible/atco/actions.flr
trunk/flora2-testsuite/defeasible/atco2/actions.flr
trunk/flora2-testsuite/defeasible/atco3/actions.flr
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
|
|
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
|