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
(2) |
|
2
|
3
|
4
|
5
|
6
|
7
|
8
(3) |
|
9
|
10
|
11
|
12
|
13
(2) |
14
|
15
|
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
|
23
|
24
|
25
|
26
(3) |
27
|
28
(1) |
29
|
|
30
|
31
|
|
|
|
|
|
|
From: <ki...@us...> - 2014-03-28 04:40:04
|
Revision: 1156
http://sourceforge.net/p/flora/src/1156
Author: kifer
Date: 2014-03-28 04:40:00 +0000 (Fri, 28 Mar 2014)
Log Message:
-----------
improved error reporting
small bug fixes
Modified Paths:
--------------
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrnodefp.H
trunk/flora2/flrnodefp.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrutils.P
trunk/flora2/version.flh
trunk/flora2-testsuite/functions/test_builtin.flr
trunk/flora2-testsuite/functions/test_builtin_old
trunk/flora2-testsuite/symbols/symbols_tests_old
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-03-26 21:04:26
|
Revision: 1155
http://sourceforge.net/p/flora/src/1155
Author: kifer
Date: 2014-03-26 21:04:24 +0000 (Wed, 26 Mar 2014)
Log Message:
-----------
fixed the :- op{} bug
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrparser.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-03-26 03:55:55
|
Revision: 1154
http://sourceforge.net/p/flora/src/1154
Author: kifer
Date: 2014-03-26 03:55:54 +0000 (Wed, 26 Mar 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-03-26 03:55:49
|
Revision: 1153
http://sourceforge.net/p/flora/src/1153
Author: kifer
Date: 2014-03-26 03:55:42 +0000 (Wed, 26 Mar 2014)
Log Message:
-----------
Merge in syntax changes from the ergo branch
Modified Paths:
--------------
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/include/atco.flh
trunk/flora2/AT/include/change_module.flh
trunk/flora2/AT/ogclp.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/AT/sgclp.flr
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/flreqltrailer.fli
trunk/flora2/closure/flreqltrailer_inh.fli
trunk/flora2/closure/flreqltrailer_neg.inc
trunk/flora2/closure/flrnoeqltrailer.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer_neg.inc
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/demos/NMakefile.mak
trunk/flora2/demos/aggregate.flr
trunk/flora2/demos/btupdates.flr
trunk/flora2/demos/db_test2.flr
trunk/flora2/demos/db_test3.flr
trunk/flora2/demos/default.flr
trunk/flora2/demos/dyn_pps.flr
trunk/flora2/demos/encap_error_test.flr
trunk/flora2/demos/encap_mod2.flr
trunk/flora2/demos/family_obj.flr
trunk/flora2/demos/family_rel.flr
trunk/flora2/demos/flogic_basics.flr
trunk/flora2/demos/mix.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/demos/pps.flr
trunk/flora2/demos/pps2.flr
trunk/flora2/demos/rel_ops.flr
trunk/flora2/demos/tree_traversal.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/emacs/flora.el
trunk/flora2/flrarguments.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrnodefp.P
trunk/flora2/flrnowsp.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.P
trunk/flora2/flrsynonym.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/java/API/examples/flogicbasicsExample/flogic_basics.flr
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrparse.flr
trunk/flora2/lib/flrstorage.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/lib/include/flrbasetype_double.flh
trunk/flora2/lib/include/flrbasetype_iri.flh
trunk/flora2/lib/include/flrbasetype_list.flh
trunk/flora2/lib/include/flrbasetype_string.flh
trunk/flora2/lib/include/flrbasetype_symbol.flh
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/javaAPI.flr
trunk/flora2/pkgs/persistentmodules.flr
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/pkgs/visualizer.flr
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrexport.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flroptimize.P
trunk/flora2/syslib/flrprefixdef.P
trunk/flora2/syslib/flrsemantics.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/version.flh
trunk/flora2-testsuite/apptests/gpmanager/admin_reports.flr
trunk/flora2-testsuite/apptests/gpmanager/constraints.flr
trunk/flora2-testsuite/apptests/gpmanager/courses.flr
trunk/flora2-testsuite/apptests/gpmanager/examinations.flr
trunk/flora2-testsuite/apptests/gpmanager/gpmanager.flr
trunk/flora2-testsuite/apptests/gpmanager/instructors.flr
trunk/flora2-testsuite/apptests/gpmanager/schema.flr
trunk/flora2-testsuite/apptests/gpmanager/temporal.flr
trunk/flora2-testsuite/apptests/gpmanager/tuition.flr
trunk/flora2-testsuite/apptests/programs/Grade.flr
trunk/flora2-testsuite/apptests/programs/GradingPolicy.flr
trunk/flora2-testsuite/datafiles/clause_data.flr
trunk/flora2-testsuite/datafiles/flora_query_caller
trunk/flora2-testsuite/defeasible/atck1/actions.flr
trunk/flora2-testsuite/defeasible/atck1/actions_load_old
trunk/flora2-testsuite/defeasible/atck1/actions_old
trunk/flora2-testsuite/defeasible/atck1/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck1/credit_card.flr
trunk/flora2-testsuite/defeasible/atck1/defeasible.flr
trunk/flora2-testsuite/defeasible/atck1/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck1/drive.flr
trunk/flora2-testsuite/defeasible/atck1/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck1/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1/strict.flr
trunk/flora2-testsuite/defeasible/atck1/strict_old
trunk/flora2-testsuite/defeasible/atck1/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1/toxic.flr
trunk/flora2-testsuite/defeasible/atck1/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck1/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/atck1/tricky_tests_old
trunk/flora2-testsuite/defeasible/atck1alt/actions.flr
trunk/flora2-testsuite/defeasible/atck1alt/actions_load_old
trunk/flora2-testsuite/defeasible/atck1alt/actions_old
trunk/flora2-testsuite/defeasible/atck1alt/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck1alt/credit_card.flr
trunk/flora2-testsuite/defeasible/atck1alt/defeasible.flr
trunk/flora2-testsuite/defeasible/atck1alt/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck1alt/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck1alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1alt/strict.flr
trunk/flora2-testsuite/defeasible/atck1alt/strict_old
trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/atck1alt/tricky_tests_old
trunk/flora2-testsuite/defeasible/atck2/actions.flr
trunk/flora2-testsuite/defeasible/atck2/actions_old
trunk/flora2-testsuite/defeasible/atck2/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck2/credit_card.flr
trunk/flora2-testsuite/defeasible/atck2/defeasible.flr
trunk/flora2-testsuite/defeasible/atck2/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck2/drive.flr
trunk/flora2-testsuite/defeasible/atck2/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck2/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2/strict.flr
trunk/flora2-testsuite/defeasible/atck2/strict_old
trunk/flora2-testsuite/defeasible/atck2/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2/toxic.flr
trunk/flora2-testsuite/defeasible/atck2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2/tricky_tests_old
trunk/flora2-testsuite/defeasible/atck2alt/actions.flr
trunk/flora2-testsuite/defeasible/atck2alt/actions_old
trunk/flora2-testsuite/defeasible/atck2alt/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck2alt/credit_card.flr
trunk/flora2-testsuite/defeasible/atck2alt/defeasible.flr
trunk/flora2-testsuite/defeasible/atck2alt/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck2alt/drive.flr
trunk/flora2-testsuite/defeasible/atck2alt/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck2alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2alt/strict.flr
trunk/flora2-testsuite/defeasible/atck2alt/strict_old
trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/tricky_tests_old
trunk/flora2-testsuite/defeasible/atck3/actions.flr
trunk/flora2-testsuite/defeasible/atck3/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck3/credit_card.flr
trunk/flora2-testsuite/defeasible/atck3/defeasible.flr
trunk/flora2-testsuite/defeasible/atck3/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck3/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck3/strict.flr
trunk/flora2-testsuite/defeasible/atck3/strict_old
trunk/flora2-testsuite/defeasible/atck3/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck3/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck3/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco/actions.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco/credit_card.flr
trunk/flora2-testsuite/defeasible/atco/defeasible.flr
trunk/flora2-testsuite/defeasible/atco/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atco/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco/strict.flr
trunk/flora2-testsuite/defeasible/atco/strict_old
trunk/flora2-testsuite/defeasible/atco/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco2/actions.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco2/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco2/credit_card.flr
trunk/flora2-testsuite/defeasible/atco2/defeasible.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_just.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_prog.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_prog_aux.flr
trunk/flora2-testsuite/defeasible/atco2/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atco2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco2/strict.flr
trunk/flora2-testsuite/defeasible/atco2/strict_old
trunk/flora2-testsuite/defeasible/atco2/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco3/actions.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific_old
trunk/flora2-testsuite/defeasible/atco3/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco3/credit_card.flr
trunk/flora2-testsuite/defeasible/atco3/defeasible.flr
trunk/flora2-testsuite/defeasible/atco3/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atco3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco3/strict.flr
trunk/flora2-testsuite/defeasible/atco3/strict_old
trunk/flora2-testsuite/defeasible/atco3/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco3/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco3/tricky_tests.flr
trunk/flora2-testsuite/defeasible/new_gclp/actions.flr
trunk/flora2-testsuite/defeasible/new_gclp/actions_load_old
trunk/flora2-testsuite/defeasible/new_gclp/actions_old
trunk/flora2-testsuite/defeasible/new_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/new_gclp/credit_card.flr
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible.flr
trunk/flora2-testsuite/defeasible/new_gclp/defeasible.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/strict.flr
trunk/flora2-testsuite/defeasible/new_gclp/strict_old
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/defeasible/new_gclp/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests_old
trunk/flora2-testsuite/defeasible/old_gclp/actions.flr
trunk/flora2-testsuite/defeasible/old_gclp/actions_load_old
trunk/flora2-testsuite/defeasible/old_gclp/actions_old
trunk/flora2-testsuite/defeasible/old_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/old_gclp/credit_card.flr
trunk/flora2-testsuite/defeasible/old_gclp/defeasible.flr
trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/old_gclp/strict.flr
trunk/flora2-testsuite/defeasible/old_gclp/strict_old
trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/old_gclp/tricky_tests.flr
trunk/flora2-testsuite/defeasible/old_gclp/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/old_gclp/tricky_tests_old
trunk/flora2-testsuite/delaystests/errors_tests.flr
trunk/flora2-testsuite/delaystests/nondelaying_strict_undefeat.flr
trunk/flora2-testsuite/delaystests/test_delays.flr
trunk/flora2-testsuite/exporttest/encap_mod1.flr
trunk/flora2-testsuite/exporttest/encap_mod2.flr
trunk/flora2-testsuite/exporttest/encap_syntax_check.flr
trunk/flora2-testsuite/exporttest/error_dynmod.flr
trunk/flora2-testsuite/exporttest/error_invalidsym.flr
trunk/flora2-testsuite/exporttest/error_nonvar.flr
trunk/flora2-testsuite/exporttest/error_nonvar2.flr
trunk/flora2-testsuite/exporttest/error_nonvar3.flr
trunk/flora2-testsuite/exporttest/export_compile_test_old
trunk/flora2-testsuite/exporttest/importmodule.flr
trunk/flora2-testsuite/exporttest/module_foo.flr
trunk/flora2-testsuite/functions/equality/fact_eq.flr
trunk/flora2-testsuite/functions/equality/fact_fun.flr
trunk/flora2-testsuite/functions/equality/fib_eq.flr
trunk/flora2-testsuite/functions/equality/fib_fun.flr
trunk/flora2-testsuite/functions/equality/fib_fun_is.flr
trunk/flora2-testsuite/functions/equality/fib_fun_pred.flr
trunk/flora2-testsuite/functions/equality/test1.flr
trunk/flora2-testsuite/functions/equality/test2.flr
trunk/flora2-testsuite/functions/equality/test_prolog.flr
trunk/flora2-testsuite/functions/errors_warnings_tests/test_func_errors.flr
trunk/flora2-testsuite/functions/errors_warnings_tests/test_func_warnings.flr
trunk/flora2-testsuite/functions/errors_warnings_tests.flr
trunk/flora2-testsuite/functions/errors_warnings_tests_old
trunk/flora2-testsuite/functions/fun_defeat_interaction.flr
trunk/flora2-testsuite/functions/modprolog_test2.flr
trunk/flora2-testsuite/functions/modprolog_test3.flr
trunk/flora2-testsuite/functions/modular_prolog/jbuiltin.flr
trunk/flora2-testsuite/functions/modular_prolog/jmain.flr
trunk/flora2-testsuite/functions/modular_prolog/test1.flr
trunk/flora2-testsuite/functions/test_builtin_err.flr
trunk/flora2-testsuite/functions/test_builtin_old
trunk/flora2-testsuite/functions/test_func_arithmetics.flr
trunk/flora2-testsuite/functions/test_func_atoms.flr
trunk/flora2-testsuite/functions/test_func_body.flr
trunk/flora2-testsuite/functions/test_func_eq.flr
trunk/flora2-testsuite/functions/test_func_facts.flr
trunk/flora2-testsuite/functions/test_func_facts_aux.flr
trunk/flora2-testsuite/functions/test_func_facts_err.flr
trunk/flora2-testsuite/functions/test_func_facts_load_err.flr
trunk/flora2-testsuite/functions/test_func_head.flr
trunk/flora2-testsuite/functions/test_func_hilog.flr
trunk/flora2-testsuite/functions/test_func_modulebar.flr
trunk/flora2-testsuite/functions/test_func_modules1.flr
trunk/flora2-testsuite/functions/test_func_modules2.flr
trunk/flora2-testsuite/functions/test_func_nested.flr
trunk/flora2-testsuite/functions/test_func_obj.flr
trunk/flora2-testsuite/functions/test_func_unification.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred2.flr
trunk/flora2-testsuite/general_tests/abp.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/agent.flr
trunk/flora2-testsuite/general_tests/aggregate.flr
trunk/flora2-testsuite/general_tests/basetype_moo.flr
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/btupdates.flr
trunk/flora2-testsuite/general_tests/btupdates2.flr
trunk/flora2-testsuite/general_tests/callReified.flr
trunk/flora2-testsuite/general_tests/canon.flr
trunk/flora2-testsuite/general_tests/clause.flr
trunk/flora2-testsuite/general_tests/clauseWithLabel.flr
trunk/flora2-testsuite/general_tests/clauseWithLabel_old
trunk/flora2-testsuite/general_tests/clause_old
trunk/flora2-testsuite/general_tests/clptest.flr
trunk/flora2-testsuite/general_tests/codeinheritance_simulated.flr
trunk/flora2-testsuite/general_tests/collectanswers.flr
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-testsuite/general_tests/composite_class.flr
trunk/flora2-testsuite/general_tests/cranial.flr
trunk/flora2-testsuite/general_tests/cranial_data.flr
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/depcheck_control.flr
trunk/flora2-testsuite/general_tests/depchecktest_old
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-testsuite/general_tests/dyn_fbasics.flr
trunk/flora2-testsuite/general_tests/dyn_pps.flr
trunk/flora2-testsuite/general_tests/enable.flr
trunk/flora2-testsuite/general_tests/enable_old
trunk/flora2-testsuite/general_tests/equaltest.flr
trunk/flora2-testsuite/general_tests/explicit_neg_undefined.flr
trunk/flora2-testsuite/general_tests/explicit_negation.flr
trunk/flora2-testsuite/general_tests/family.flr
trunk/flora2-testsuite/general_tests/flogic_basics.flr
trunk/flora2-testsuite/general_tests/framely.flr
trunk/flora2-testsuite/general_tests/guizhen.flr
trunk/flora2-testsuite/general_tests/hashtest.flr
trunk/flora2-testsuite/general_tests/hypothetical.flr
trunk/flora2-testsuite/general_tests/importloop.flr
trunk/flora2-testsuite/general_tests/importloop_aux1.flr
trunk/flora2-testsuite/general_tests/importloop_aux2.flr
trunk/flora2-testsuite/general_tests/importloop_tbox.flr
trunk/flora2-testsuite/general_tests/incr_abolish.flr
trunk/flora2-testsuite/general_tests/incremental2.flr
trunk/flora2-testsuite/general_tests/inher_termination.flr
trunk/flora2-testsuite/general_tests/inherit_with_descriptors.flr
trunk/flora2-testsuite/general_tests/inheritance_boolmeth.flr
trunk/flora2-testsuite/general_tests/inheritance_guard.flr
trunk/flora2-testsuite/general_tests/inheritance_guard_old
trunk/flora2-testsuite/general_tests/intermod_neg.flr
trunk/flora2-testsuite/general_tests/justifier.flr
trunk/flora2-testsuite/general_tests/justifier_ex.flr
trunk/flora2-testsuite/general_tests/latent_query.flr
trunk/flora2-testsuite/general_tests/loadloop.flr
trunk/flora2-testsuite/general_tests/loadloop_aux1.flr
trunk/flora2-testsuite/general_tests/loadloop_aux2.flr
trunk/flora2-testsuite/general_tests/loadloop_tbox.flr
trunk/flora2-testsuite/general_tests/london_map.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/miguel_test.flr
trunk/flora2-testsuite/general_tests/module_syntax.flr
trunk/flora2-testsuite/general_tests/moduletst.flr
trunk/flora2-testsuite/general_tests/mon_inherit.flr
trunk/flora2-testsuite/general_tests/neg_meta_unification.flr
trunk/flora2-testsuite/general_tests/neg_meta_unification_old
trunk/flora2-testsuite/general_tests/negation.flr
trunk/flora2-testsuite/general_tests/noinheritance.flr
trunk/flora2-testsuite/general_tests/nonmon_inherit.flr
trunk/flora2-testsuite/general_tests/nonmon_inherit2.flr
trunk/flora2-testsuite/general_tests/notexists.flr
trunk/flora2-testsuite/general_tests/omni.flr
trunk/flora2-testsuite/general_tests/pps.flr
trunk/flora2-testsuite/general_tests/prefix.flr
trunk/flora2-testsuite/general_tests/prefix2.flr
trunk/flora2-testsuite/general_tests/prefix_old
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/prolog_directive.flr
trunk/flora2-testsuite/general_tests/prolog_directive_old
trunk/flora2-testsuite/general_tests/prolog_tests.flr
trunk/flora2-testsuite/general_tests/properties.flr
trunk/flora2-testsuite/general_tests/rector.flr
trunk/flora2-testsuite/general_tests/reif.flr
trunk/flora2-testsuite/general_tests/reification.flr
trunk/flora2-testsuite/general_tests/reifiedRules.flr
trunk/flora2-testsuite/general_tests/ruleupdates.flr
trunk/flora2-testsuite/general_tests/sensortest.flr
trunk/flora2-testsuite/general_tests/sensortest_declarations.flr
trunk/flora2-testsuite/general_tests/sensortest_err_old
trunk/flora2-testsuite/general_tests/sensortest_load_err_old
trunk/flora2-testsuite/general_tests/sensortest_usedecl.flr
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/sortby.flr
trunk/flora2-testsuite/general_tests/table_dump.flr
trunk/flora2-testsuite/general_tests/table_dump_old
trunk/flora2-testsuite/general_tests/tabledupdates.flr
trunk/flora2-testsuite/general_tests/tabletest.flr
trunk/flora2-testsuite/general_tests/tbl_ruledeletes.flr
trunk/flora2-testsuite/general_tests/tnf.flr
trunk/flora2-testsuite/general_tests/tnf_data.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/typelist.flr
trunk/flora2-testsuite/general_tests/undefined.flr
trunk/flora2-testsuite/general_tests/wine2.flr
trunk/flora2-testsuite/general_tests/wives.flr
trunk/flora2-testsuite/java/quotation/test/sqwrl.flr
trunk/flora2-testsuite/symbols/hilog_udf/test_udf_hilog_pred3.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax_nowarnings.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_warnings.flr
trunk/flora2-testsuite/symbols/symbols_load_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests_old
trunk/flora2-testsuite/symbols/symbols_warnoff_load_tests.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_load1.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_load2.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_nowarn_load1.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_nowarn_load2.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_warnoff_load1.flr
trunk/flora2-testsuite/symbols/test_udf_hilog_pred.flr
trunk/flora2-testsuite/symbols/test_udf_hilog_pred_err.flr
trunk/flora2-testsuite/symbols/tests/test_symbols.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_builtin.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_constoff.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_dyn.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_nowarn.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_transact.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_warnoff.flr
trunk/flora2-website/release_notes.html
trunk/flora2-website/tutorial/examples/depchk.flr
trunk/flora2-website/tutorial/examples/moduleExample.flr
trunk/flora2-website/tutorial/examples/tableVSnot.flr
trunk/flora2-website/tutorial/homeworks/hw2-sol/temporal.flr
trunk/flora2-website/tutorial/part1-foundations.ppt
trunk/flora2-website/tutorial/part2-programming.ppt
|
|
From: <ki...@us...> - 2014-03-13 02:22:18
|
Revision: 1152
http://sourceforge.net/p/flora/src/1152
Author: kifer
Date: 2014-03-13 02:22:14 +0000 (Thu, 13 Mar 2014)
Log Message:
-----------
fixed bug having to do with \-modules under windows
fixed bug, which permitted inheritable default transactions like a[|%b|]
Modified Paths:
--------------
trunk/flora2/demos/benchmark.flr
trunk/flora2/demos/dyn_fbasics.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/demos/pretty.flr
trunk/flora2/demos/pretty_data.flr
trunk/flora2/docs/Makefile
trunk/flora2/flora2.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrparser.P
trunk/flora2/flrutils.P
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/version.flh
trunk/flora2-testsuite/datafiles/pretty_data.flr
trunk/flora2-testsuite/general_tests/pretty_old
|
|
From: <ki...@us...> - 2014-03-13 01:54:40
|
Revision: 1151
http://sourceforge.net/p/flora/src/1151
Author: kifer
Date: 2014-03-13 01:54:37 +0000 (Thu, 13 Mar 2014)
Log Message:
-----------
added ignored files
Added Paths:
-----------
trunk/flora2/demos/.gitignore
|
|
From: <ki...@us...> - 2014-03-08 00:11:22
|
Revision: 1150
http://sourceforge.net/p/flora/src/1150
Author: kifer
Date: 2014-03-08 00:11:20 +0000 (Sat, 08 Mar 2014)
Log Message:
-----------
added ignored files
Modified Paths:
--------------
trunk/flora2/.gitignore
|
|
From: <ki...@us...> - 2014-03-08 00:11:19
|
Revision: 1149
http://sourceforge.net/p/flora/src/1149
Author: kifer
Date: 2014-03-08 00:11:17 +0000 (Sat, 08 Mar 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-03-08 00:11:16
|
Revision: 1148
http://sourceforge.net/p/flora/src/1148
Author: kifer
Date: 2014-03-08 00:11:11 +0000 (Sat, 08 Mar 2014)
Log Message:
-----------
Fixed 3 bugs: in flora_query, in datatype printing in case when the dt name has a prefix, and in =..
Modified Paths:
--------------
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrutils.P
trunk/flora2/makeflora.bat
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/add_load_old
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/basetypes_old
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/meta_unification_old
|
|
From: <ki...@us...> - 2014-03-01 21:59:32
|
Revision: 1147
http://sourceforge.net/p/flora/src/1147
Author: kifer
Date: 2014-03-01 21:59:30 +0000 (Sat, 01 Mar 2014)
Log Message:
-----------
merge from ergo
Modified Paths:
--------------
trunk/flora2/.gitignore
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/compiletest_flora_old
|
|
From: <ki...@us...> - 2014-03-01 21:47:18
|
Revision: 1146
http://sourceforge.net/p/flora/src/1146
Author: kifer
Date: 2014-03-01 21:47:10 +0000 (Sat, 01 Mar 2014)
Log Message:
-----------
nerge from Ergo: many syntax changes (inheritable properties, \# instead of _#, etc. See release_notes.html)
Modified Paths:
--------------
trunk/flora2/AT/Makefile
trunk/flora2/AT/NMakefile.mak
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/include/change_module.flh
trunk/flora2/AT/ogclp.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/AT/prolog/atco_init.P
trunk/flora2/AT/sgclp.flr
trunk/flora2/cc/prolog2hilog.c
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrsigaxioms.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/debugger/flrdebugger.P
trunk/flora2/debugger/flrtabledump.P
trunk/flora2/debugger/static_data.in
trunk/flora2/demos/Makefile
trunk/flora2/demos/NMakefile.mak
trunk/flora2/demos/aggregate.flr
trunk/flora2/demos/benchmark.flr
trunk/flora2/demos/btupdates.flr
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/demos/default.flr
trunk/flora2/demos/diamond.flr
trunk/flora2/demos/dyn_fbasics.flr
trunk/flora2/demos/dyn_pps.flr
trunk/flora2/demos/encap_error_test.flr
trunk/flora2/demos/encap_mod1.flr
trunk/flora2/demos/encap_mod2.flr
trunk/flora2/demos/family_obj.flr
trunk/flora2/demos/flogic_basics.flr
trunk/flora2/demos/ftc.flr
trunk/flora2/demos/metavar.flr
trunk/flora2/demos/mix.flr
trunk/flora2/demos/module1.flr
trunk/flora2/demos/mono_inherit.flr
trunk/flora2/demos/nonmono_inherit.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/demos/pps.flr
trunk/flora2/demos/pps2.flr
trunk/flora2/demos/pretty.flr
trunk/flora2/demos/pretty_data.flr
trunk/flora2/demos/sgml/sgmltest.flr
trunk/flora2/demos/slow_depchk.flr
trunk/flora2/demos/tc.flr
trunk/flora2/demos/tree_traversal.flr
trunk/flora2/demos/xpath/xpathtest.flr
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-protege.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/emacs/flora.el
trunk/flora2/flora2.P
trunk/flora2/flrarguments.P
trunk/flora2/flrcoder.H
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrdependency.P
trunk/flora2/flrincludes/flora_characters.flh
trunk/flora2/flrincludes/flora_datatype_symbols.flh
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_extensions.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrnodefp.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.P
trunk/flora2/flrprolog.H
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.P
trunk/flora2/flrsynonym.P
trunk/flora2/flrundefhook.H
trunk/flora2/flrundefhook.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/includes/flr_fld_standardtypes.flh
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/includes/flrheader.flh
trunk/flora2/java/API/examples/buildExample.bat
trunk/flora2/java/API/examples/buildExample.sh
trunk/flora2/java/API/examples/flogicbasicsExample/flogic_basics.flr
trunk/flora2/java/API/examples/flogicbasicsExample/person.java
trunk/flora2/java/API/examples/fooExample/foo.flr
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/PrologFlora.java
trunk/flora2/lib/Makefile
trunk/flora2/lib/NMakefile.mak
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrparse.flr
trunk/flora2/lib/flrstorage.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/lib/include/flrbasetype_double.flh
trunk/flora2/lib/include/flrbasetype_iri.flh
trunk/flora2/lib/include/flrbasetype_list.flh
trunk/flora2/lib/include/flrbasetype_signatures.flh
trunk/flora2/lib/include/flrbasetype_string.flh
trunk/flora2/lib/include/flrbasetype_symbol.flh
trunk/flora2/pkgs/Makefile
trunk/flora2/pkgs/NMakefile.mak
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/javaAPI.flr
trunk/flora2/pkgs/persistentmodules.flr
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/pkgs/prolog/flrxml.P
trunk/flora2/pkgs/visualizer.flr
trunk/flora2/runflora
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrimport.P
trunk/flora2/syslib/flrimportedcalls.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flrnewoid.P
trunk/flora2/syslib/flroptimize.P
trunk/flora2/syslib/flrstorageutils.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/PaulH_tests/test1/load.flr
trunk/flora2-performance/PaulH_tests/test1/load2.flr
trunk/flora2-performance/PaulH_tests/test1/load3.flr
trunk/flora2-performance/PaulH_tests/test1/load_production.flr
trunk/flora2-performance/PaulH_tests/test1/process-core-queries.flr
trunk/flora2-performance/PaulH_tests/test1/process-core-queries2.flr
trunk/flora2-performance/PaulH_tests/test1/process-core.flr
trunk/flora2-performance/PaulH_tests/test1/process-core2.flr
trunk/flora2-performance/PaulH_tests/test1/process-doc.flr
trunk/flora2-performance/PaulH_tests/test1/silk-predicates.flr
trunk/flora2-performance/PaulH_tests/test1/silk-predicates_at_builtin.flr
trunk/flora2-performance/aux_files/silk-predicates.flr
trunk/flora2-performance/aux_files/silk-predicates_at_builtin.flr
trunk/flora2-performance/compiletests/bio_carl.flr
trunk/flora2-performance/compiletests/biologyKB.flr
trunk/flora2-performance/compiletests/clarklog.flr
trunk/flora2-performance/cyc150/core_files/core-pragmatics.flr
trunk/flora2-performance/cyc150/core_files/core-rules.flr
trunk/flora2-performance/cyc150/core_files/latest-tiny-kb.flr
trunk/flora2-performance/cyc150/core_files/rmt-removal-lookup-pos-1.flr
trunk/flora2-performance/cyc150/kbq-cptevaluationtest-howtoendcellresponsetosignalwithphosphorylationcascade-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-acellinsphaseisactivelydoingwhat-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-acellinthecellcycleisactivelydoingwhat-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-allofthefollowingoccurduringmeiosisiexcept-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-allofthefollowingoccurduringmeiosisiexcept-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-amitotictissuehasnocellsbetweensphaseandg2phase-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-amitotictissuehasnocellsinthecellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-anaphaseinvolvesachangeinnumberofchromosomes-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-aneventthatinterfereswithspindleformationisonethatinterfereswiththemcheckpoint-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-arebacteriaprokaryotes-2-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-arethediploidandmonoploidnumbersthesameinhumans-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cancercellsdontexhibitdensitydependentinhibition-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-canparameciamovethemselves-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-canspermcellsmovethemselves-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-causationamongscenesincellsignalingsubscript-pathwaytype-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cellwithcellplateiswhat-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cellwithcellplateiswhat-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cellwithcellplateiswhat-4.flr
trunk/flora2-performance/cyc150/kbq-cpttest-centromeresjoinsisterchromatids-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-changesinmpfactivitycorrelatewithwhat-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-changesinmpfactivitycorrelatewithwhat-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-chromosomesarechromatin-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-chromosomesarechromatin-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-chromosomesarechromatin-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-chromosomesarechromatin-4.flr
trunk/flora2-performance/cyc150/kbq-cpttest-crossingoveroccursduringwhat-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cytokinesisisthedivisionofonecellintotwo-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cytokinesisistheseparationofthecytoplasm-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cytokinesisistheseparationofthecytoplasmintotwo-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cytokinesisstartsafteranaphaseendsincellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-cytokinesisstartsafteranaphaseendsinmphase-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-daughtercellsofcellcyclearenotfusedinfertilization-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-daughtercellsofcellcyclearenotfusedinfertilization-02-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-diploidnumberfordogs-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-diploidnumberfordogs-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-duplicatedchromosomeconsistsof2chromatids-hyp-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-duringanaphaseiiwhathappens-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-duringwhatdochromosomesreplicate-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-duringwhatdoesaduplicatedchromosomeplayarole-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-duringwhatdoesaduplicatedchromosomeplayarole-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-duringwhatdoesaspindleforminahaploidcell-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-duringwhichofthefollowingdoesdnareplicate-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-eukaryoticcellcycleiterationsdontcontaincdkcreationevents-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-eukaryoticcellcycleiterationsdontcontaincdkdestructionevents-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-firstsignofprophase-1-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-fouroutputgametesisnottrueofoogenesis-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-fouroutputgametesisnottrueofoogenesis-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-fouroutputgametesisnottrueofoogenesis-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-g1followsmphaseincellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-homologouschromosomesmovetowardoppositepolesduringwhat-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-howmanychromatidsinaduplicatedchromosome-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-howmanychromatidsinaduplicatedchromosome-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-howmanykinetochoremicrotubuleattachmentsduringprophasei-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-howmanykinetochoremicrotubuleattachmentsduringprophasei-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-ifmeiosistakes100hourshowlongdoesitsprophaseitake-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-ifsteroidhormonescanenteracellviadiffusiontheytheycantbindtomembranereceptors-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-inacellwithfourcentromereshowmanychromosomesarethere-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-inacellwithfourcentromereshowmanychromosomesarethere-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-intracellularreceptorsareonlypresentintargetcells-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-ischromosomeofcellintelophaseunduplicated-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-meiosisandfertilizationdontalternateinwhichcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-meiosisandfertilizationdontalternateinwhichcycle-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-meiosisandfertilizationdontalternateinwhichcycle-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-meiosisandfertilizationdontalternateinwhichcycle-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-meiosisandfertilizationdontalternateinwhichcycle-4.flr
trunk/flora2-performance/cyc150/kbq-cpttest-meiosisandfertilizationdontalternateinwhichcycle-5.flr
trunk/flora2-performance/cyc150/kbq-cpttest-microtubuledevelopmentinterferenceeffects-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mitosispreserveschromosomenumber-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mitoticspindlesaretubulin-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mitoticspindlesaretubulin-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfactivitydropofinmphasedoesdropoffinmphase-01-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymedoesnotdegradebothcdc2andcyclin-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymedoesnotdegradecdc2-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymedoesnotstimulatecdc2-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymedoesnotstimulatecyclin-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymemostlikelydoeswhat-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymemostlikelydoeswhat-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymemostlikelydoeswhat-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mpfdeactivatingenzymemostlikelydoeswhat-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mphasefollowsg2incellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-mphasefollowsinterphaseincellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-numberofchromatidsincellwith4duplicatedchromosomes-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-phosphorylationcascadescauseamplifiedcellularresponsebecausetheyincreasetheamountofactivatedenzymes-01-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-posprooffortestquestionq6-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-prokaryoticcellcyclepreserveschromosomenumber-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-proteinphosphorylationisinvolvedinallexcept-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-proteinphosphorylationisinvolvedinallexcept-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-steroidhormonescanenteracellbysimplediffusionsowhatfollows-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-steroidhormonescanenteracellbysimplediffusionsowhatfollows-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-subeventsofsphase-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-synapsisoccursduringwhat-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whataremitoticspindlesmadeof-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatdoesnotoccurduringmitosis-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatdoesnotoccurindividingbacteria-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatdoesnotoverlapwithcytokinesis-version3-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatdoesnotoverlapwithcytokinesis-version3-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatdoesnotoverlapwithcytokinesis-version3-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatisalocus-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatisduplicationstatusofchromosomeofcellinsphase-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatisthediameterofacilium-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatistheregionthatconnectsreplicateddnamolecules-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatistheregionthatconnectsreplicateddnamolecules-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatistheregionthatconnectsreplicateddnamolecules-4.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatisthesecondmessengerinepinephrinetoglucosereleasesignaling-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatisthesecondmessengerinepinephrinetoglucosereleasesignaling-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatkindofcellisagamete-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatkindofthingisahaploidcell-4.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatkindsofmoleculearecandidateligandsforcytoplasmicreceptors-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatkindsofmoleculearecandidateligandsforcytoplasmicreceptors-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatkindsofmoleculearecandidateligandsforcytoplasmicreceptors-4.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatoverlapswithcytokinesis-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatphaseofmitosisistheoppositeofprometaphasewrtnuclearenvelope-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatphaseofmitosisistheoppositeofprometaphasewrtnuclearenvelope-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatphasesalternateintheeukaryoticcellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatphasesalternateintheeukaryoticcellcycle-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatphasesalternateintheeukaryoticcellcycle-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatsnottrueofthecellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatsnottrueofthecellcycle-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whatsnottrueofthecellcycle-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichligandtypehasareceptorinthecytoplasm-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichligandtypehasareceptorinthecytoplasm-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichligandtypehasareceptorinthecytoplasm-2.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichligandtypehasareceptorinthecytoplasm-3.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichligandtypehasareceptorinthecytoplasm-5.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichofthefollowingisincentrosome-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichofthefollowingisincentrosome-1.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichofthefollowingistrueofreceptormolecules-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichofthefollowingwouldresultinaresponseatthecellularlevel-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichofthefollowingwouldresultintheamplificationofachemicalsignal-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichreduceschromosomenumberbyhalf-0.flr
trunk/flora2-performance/cyc150/kbq-cpttest-whichtwocanserveassecondmessengers-1.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-diploidnumberfordogs-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-duplicatedchromosomeconsistsof2chromatids-hyp-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-duringwhatdoesaduplicatedchromosomeplayarole-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-firstsignofprophase-1-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-howmanychromatidsinaduplicatedchromosome-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-ifcellcycleinputhas32chromosomeswhatdodaughtercellshave-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-meiosisandfertilizationdontalternateinwhichcycle-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-microtubuledevelopmentinterferenceeffects-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-numberofchromatidsincellwith4duplicatedchromosomes-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-subeventsofsphase-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-whatphasesalternateintheeukaryoticcellcycle-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-whichligandtypehasareceptorinthecytoplasm-0.flr
trunk/flora2-performance/cyc150/kbq-opensubquerykbctestfn-cpttest-whichofthefollowingisincentrosome-0.flr
trunk/flora2-testsuite/apptests/gpmanager/admin_reports.flr
trunk/flora2-testsuite/apptests/gpmanager/constraints.flr
trunk/flora2-testsuite/apptests/gpmanager/course_list.flr
trunk/flora2-testsuite/apptests/gpmanager/courses.flr
trunk/flora2-testsuite/apptests/gpmanager/examinations.flr
trunk/flora2-testsuite/apptests/gpmanager/gpmanager.flr
trunk/flora2-testsuite/apptests/gpmanager/instructors.flr
trunk/flora2-testsuite/apptests/gpmanager/schema.flr
trunk/flora2-testsuite/apptests/gpmanager/students.flr
trunk/flora2-testsuite/apptests/gpmanager/temporal.flr
trunk/flora2-testsuite/apptests/gpmanager/tuition.flr
trunk/flora2-testsuite/apptests/gpmanager_test.flr
trunk/flora2-testsuite/apptests/gradetest.flr
trunk/flora2-testsuite/apptests/programs/Grade.flr
trunk/flora2-testsuite/apptests/programs/GradingPolicy.flr
trunk/flora2-testsuite/datafiles/flImportFloraMod.flr
trunk/flora2-testsuite/datafiles/flImportPrologMod
trunk/flora2-testsuite/datafiles/flora_query_caller
trunk/flora2-testsuite/datafiles/marymodule.flr
trunk/flora2-testsuite/datafiles/pretty_data.flr
trunk/flora2-testsuite/defeasible/atck1/actions.flr
trunk/flora2-testsuite/defeasible/atck1/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck1/credit_card.flr
trunk/flora2-testsuite/defeasible/atck1/defeasible.flr
trunk/flora2-testsuite/defeasible/atck1/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck1/drive.flr
trunk/flora2-testsuite/defeasible/atck1/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck1/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1/strict.flr
trunk/flora2-testsuite/defeasible/atck1/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1/toxic.flr
trunk/flora2-testsuite/defeasible/atck1/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/actions.flr
trunk/flora2-testsuite/defeasible/atck1alt/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck1alt/credit_card.flr
trunk/flora2-testsuite/defeasible/atck1alt/defeasible.flr
trunk/flora2-testsuite/defeasible/atck1alt/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck1alt/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck1alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1alt/strict.flr
trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2/actions.flr
trunk/flora2-testsuite/defeasible/atck2/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck2/credit_card.flr
trunk/flora2-testsuite/defeasible/atck2/defeasible.flr
trunk/flora2-testsuite/defeasible/atck2/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck2/drive.flr
trunk/flora2-testsuite/defeasible/atck2/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck2/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2/strict.flr
trunk/flora2-testsuite/defeasible/atck2/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2/toxic.flr
trunk/flora2-testsuite/defeasible/atck2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/actions.flr
trunk/flora2-testsuite/defeasible/atck2alt/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck2alt/credit_card.flr
trunk/flora2-testsuite/defeasible/atck2alt/defeasible.flr
trunk/flora2-testsuite/defeasible/atck2alt/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck2alt/drive.flr
trunk/flora2-testsuite/defeasible/atck2alt/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck2alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2alt/strict.flr
trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck3/actions.flr
trunk/flora2-testsuite/defeasible/atck3/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck3/credit_card.flr
trunk/flora2-testsuite/defeasible/atck3/defeasible.flr
trunk/flora2-testsuite/defeasible/atck3/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck3/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck3/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck3/strict.flr
trunk/flora2-testsuite/defeasible/atck3/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck3/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck3/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco/actions.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_load_old
trunk/flora2-testsuite/defeasible/atco/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco/credit_card.flr
trunk/flora2-testsuite/defeasible/atco/defeasible.flr
trunk/flora2-testsuite/defeasible/atco/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atco/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atco/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco/strict.flr
trunk/flora2-testsuite/defeasible/atco/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco2/actions.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_load_old
trunk/flora2-testsuite/defeasible/atco2/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco2/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco2/credit_card.flr
trunk/flora2-testsuite/defeasible/atco2/defeasible.flr
trunk/flora2-testsuite/defeasible/atco2/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_just.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_prog.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_prog_aux.flr
trunk/flora2-testsuite/defeasible/atco2/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atco2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco2/strict.flr
trunk/flora2-testsuite/defeasible/atco2/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco3/actions.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_load_old
trunk/flora2-testsuite/defeasible/atco3/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco3/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco3/credit_card.flr
trunk/flora2-testsuite/defeasible/atco3/defeasible.flr
trunk/flora2-testsuite/defeasible/atco3/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atco3/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atco3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco3/strict.flr
trunk/flora2-testsuite/defeasible/atco3/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco3/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco3/tricky_tests.flr
trunk/flora2-testsuite/defeasible/new_gclp/actions.flr
trunk/flora2-testsuite/defeasible/new_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/new_gclp/credit_card.flr
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible.flr
trunk/flora2-testsuite/defeasible/new_gclp/defeasible.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/strict.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/defeasible/old_gclp/actions.flr
trunk/flora2-testsuite/defeasible/old_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/old_gclp/credit_card.flr
trunk/flora2-testsuite/defeasible/old_gclp/defeasible.flr
trunk/flora2-testsuite/defeasible/old_gclp/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/old_gclp/strict.flr
trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/old_gclp/tricky_tests.flr
trunk/flora2-testsuite/delaystests/errors_tests.flr
trunk/flora2-testsuite/delaystests/nondelaying_strict_undefeat.flr
trunk/flora2-testsuite/delaystests/test_delays.flr
trunk/flora2-testsuite/exporttest/encap_mod1.flr
trunk/flora2-testsuite/exporttest/error_dynmod.flr
trunk/flora2-testsuite/exporttest/error_invalidsym.flr
trunk/flora2-testsuite/exporttest/export_compile_test.flr
trunk/flora2-testsuite/exporttest/export_compile_test_old
trunk/flora2-testsuite/exporttest/export_test.flr
trunk/flora2-testsuite/exporttest/importmodule.flr
trunk/flora2-testsuite/exporttest/importmodule_old
trunk/flora2-testsuite/exporttest/module_foo.flr
trunk/flora2-testsuite/functions/equality/fact_eq.flr
trunk/flora2-testsuite/functions/equality/fib_eq.flr
trunk/flora2-testsuite/functions/equality/fib_eq2.flr
trunk/flora2-testsuite/functions/equality/fib_fun.flr
trunk/flora2-testsuite/functions/equality/fib_fun_is.flr
trunk/flora2-testsuite/functions/equality/fib_fun_pred.flr
trunk/flora2-testsuite/functions/equality/test1.flr
trunk/flora2-testsuite/functions/equality/test2.flr
trunk/flora2-testsuite/functions/errors_warnings_tests.flr
trunk/flora2-testsuite/functions/fun_defeat_interaction.flr
trunk/flora2-testsuite/functions/modprolog_test2.flr
trunk/flora2-testsuite/functions/modprolog_test3.flr
trunk/flora2-testsuite/functions/modular_prolog/jbuiltin.flr
trunk/flora2-testsuite/functions/modular_prolog/jmain.flr
trunk/flora2-testsuite/functions/modular_prolog/test1.flr
trunk/flora2-testsuite/functions/test_builtin.flr
trunk/flora2-testsuite/functions/test_builtin_err.flr
trunk/flora2-testsuite/functions/test_builtin_old
trunk/flora2-testsuite/functions/test_func_arithmetics.flr
trunk/flora2-testsuite/functions/test_func_atoms.flr
trunk/flora2-testsuite/functions/test_func_body.flr
trunk/flora2-testsuite/functions/test_func_eq.flr
trunk/flora2-testsuite/functions/test_func_facts.flr
trunk/flora2-testsuite/functions/test_func_facts_aux.flr
trunk/flora2-testsuite/functions/test_func_facts_err.flr
trunk/flora2-testsuite/functions/test_func_facts_load_err.flr
trunk/flora2-testsuite/functions/test_func_head.flr
trunk/flora2-testsuite/functions/test_func_hilog.flr
trunk/flora2-testsuite/functions/test_func_modules1.flr
trunk/flora2-testsuite/functions/test_func_modules2.flr
trunk/flora2-testsuite/functions/test_func_nested.flr
trunk/flora2-testsuite/functions/test_func_obj.flr
trunk/flora2-testsuite/functions/test_func_unification.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred2.flr
trunk/flora2-testsuite/general_tests/abp.flr
trunk/flora2-testsuite/general_tests/add1.flr
trunk/flora2-testsuite/general_tests/add2.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/add_load_old
trunk/flora2-testsuite/general_tests/agent.flr
trunk/flora2-testsuite/general_tests/aggregate.flr
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/btupdates2.flr
trunk/flora2-testsuite/general_tests/btupdates_load.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/canon.flr
trunk/flora2-testsuite/general_tests/clause.flr
trunk/flora2-testsuite/general_tests/clauseWithLabel.flr
trunk/flora2-testsuite/general_tests/clauseWithLabel_old
trunk/flora2-testsuite/general_tests/clptest.flr
trunk/flora2-testsuite/general_tests/codeinheritance_simulated.flr
trunk/flora2-testsuite/general_tests/collectanswers.flr
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/composite_class.flr
trunk/flora2-testsuite/general_tests/cranial.flr
trunk/flora2-testsuite/general_tests/cranial_data.flr
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/depcheck_control.flr
trunk/flora2-testsuite/general_tests/depchecktest.flr
trunk/flora2-testsuite/general_tests/depchecktest_old
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-testsuite/general_tests/descriptors_moo.flr
trunk/flora2-testsuite/general_tests/dyn_fbasics.flr
trunk/flora2-testsuite/general_tests/dyn_pps.flr
trunk/flora2-testsuite/general_tests/enable.flr
trunk/flora2-testsuite/general_tests/equaltest.flr
trunk/flora2-testsuite/general_tests/explicit_neg_undefined.flr
trunk/flora2-testsuite/general_tests/explicit_negation.flr
trunk/flora2-testsuite/general_tests/family.flr
trunk/flora2-testsuite/general_tests/family_old
trunk/flora2-testsuite/general_tests/flogic_basics.flr
trunk/flora2-testsuite/general_tests/flora_query_test.flr
trunk/flora2-testsuite/general_tests/framely.flr
trunk/flora2-testsuite/general_tests/groundpattern.flr
trunk/flora2-testsuite/general_tests/guizhen.flr
trunk/flora2-testsuite/general_tests/hashtest.flr
trunk/flora2-testsuite/general_tests/hashtest_old
trunk/flora2-testsuite/general_tests/hypothetical.flr
trunk/flora2-testsuite/general_tests/importloop.flr
trunk/flora2-testsuite/general_tests/importloop_aux1.flr
trunk/flora2-testsuite/general_tests/importloop_aux2.flr
trunk/flora2-testsuite/general_tests/importtest.flr
trunk/flora2-testsuite/general_tests/importtest_old
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/inher_termination.flr
trunk/flora2-testsuite/general_tests/inherit_with_descriptors.flr
trunk/flora2-testsuite/general_tests/inheritance_boolmeth.flr
trunk/flora2-testsuite/general_tests/inheritance_guard.flr
trunk/flora2-testsuite/general_tests/intermod_neg.flr
trunk/flora2-testsuite/general_tests/justifier.flr
trunk/flora2-testsuite/general_tests/latent_query.flr
trunk/flora2-testsuite/general_tests/loadloop.flr
trunk/flora2-testsuite/general_tests/loadloop_aux1.flr
trunk/flora2-testsuite/general_tests/loadloop_aux2.flr
trunk/flora2-testsuite/general_tests/london_map.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/metaupdates.flr
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/miguel_test.flr
trunk/flora2-testsuite/general_tests/module_syntax.flr
trunk/flora2-testsuite/general_tests/moduletst.flr
trunk/flora2-testsuite/general_tests/mon_inherit.flr
trunk/flora2-testsuite/general_tests/mon_inherit_old
trunk/flora2-testsuite/general_tests/neg_meta_unification.flr
trunk/flora2-testsuite/general_tests/negation.flr
trunk/flora2-testsuite/general_tests/newoidtest.flr
trunk/flora2-testsuite/general_tests/noinheritance.flr
trunk/flora2-testsuite/general_tests/nonmon_inherit.flr
trunk/flora2-testsuite/general_tests/nonmon_inherit2.flr
trunk/flora2-testsuite/general_tests/notexists.flr
trunk/flora2-testsuite/general_tests/notexists_old
trunk/flora2-testsuite/general_tests/omni.flr
trunk/flora2-testsuite/general_tests/pps.flr
trunk/flora2-testsuite/general_tests/prefix.flr
trunk/flora2-testsuite/general_tests/prefix2.flr
trunk/flora2-testsuite/general_tests/prefix2_old
trunk/flora2-testsuite/general_tests/prefix_old
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/pretty_old
trunk/flora2-testsuite/general_tests/prolog_directive.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/properties.flr
trunk/flora2-testsuite/general_tests/rector.flr
trunk/flora2-testsuite/general_tests/rector_old
trunk/flora2-testsuite/general_tests/reif.flr
trunk/flora2-testsuite/general_tests/reif_foo.flr
trunk/flora2-testsuite/general_tests/reification.flr
trunk/flora2-testsuite/general_tests/reifiedRules.flr
trunk/flora2-testsuite/general_tests/ruleupdates.flr
trunk/flora2-testsuite/general_tests/ruleupdates_load.flr
trunk/flora2-testsuite/general_tests/sensortest.flr
trunk/flora2-testsuite/general_tests/sensortest_declarations.flr
trunk/flora2-testsuite/general_tests/sensortest_err.flr
trunk/flora2-testsuite/general_tests/sensortest_err_old
trunk/flora2-testsuite/general_tests/sensortest_load_err.flr
trunk/flora2-testsuite/general_tests/sensortest_load_err_old
trunk/flora2-testsuite/general_tests/sensortest_usedecl.flr
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/setarg.flr
trunk/flora2-testsuite/general_tests/sortby.flr
trunk/flora2-testsuite/general_tests/table_dump.flr
trunk/flora2-testsuite/general_tests/tabledupdates.flr
trunk/flora2-testsuite/general_tests/tabledupdates_load.flr
trunk/flora2-testsuite/general_tests/tabletest.flr
trunk/flora2-testsuite/general_tests/tbl_ruledeletes.flr
trunk/flora2-testsuite/general_tests/terminyzer0.flr
trunk/flora2-testsuite/general_tests/terminyzer1.flr
trunk/flora2-testsuite/general_tests/terminyzer2.flr
trunk/flora2-testsuite/general_tests/textual_load.flr
trunk/flora2-testsuite/general_tests/textual_warn.flr
trunk/flora2-testsuite/general_tests/tnf.flr
trunk/flora2-testsuite/general_tests/tnf_data.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
trunk/flora2-testsuite/general_tests/traced_call.flr
trunk/flora2-testsuite/general_tests/trailer.flr
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/general_tests/typecheck_old
trunk/flora2-testsuite/general_tests/typelist.flr
trunk/flora2-testsuite/general_tests/typelist_old
trunk/flora2-testsuite/general_tests/undefined.flr
trunk/flora2-testsuite/general_tests/wine2.flr
trunk/flora2-testsuite/general_tests/wives.flr
trunk/flora2-testsuite/java/quotation/src/iptest/InterPrologTest.java
trunk/flora2-testsuite/java/quotation/test/sqwrl.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax.flr
trunk/flora2-testsuite/symbols/symbols_load_tests.flr
trunk/flora2-testsuite/symbols/symbols_nowarn_load_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests_old
trunk/flora2-testsuite/symbols/symbols_warnoff_load_tests.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_load1.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_load2.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_nowarn_load1.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_nowarn_load2.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_warnoff_load1.flr
trunk/flora2-testsuite/symbols/test_udf_hilog_pred.flr
trunk/flora2-testsuite/symbols/test_udf_hilog_pred_err.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_builtin.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_dyn.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_nowarn.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_transact.flr
trunk/flora2-testsuite/test_one_file.sh
trunk/flora2-website/florahome.html
trunk/flora2-website/release_notes.html
trunk/flora2-website/tutorial/examples/aggregate.flr
trunk/flora2-website/tutorial/examples/backtrackableVSnot.flr
trunk/flora2-website/tutorial/examples/checkUndefined.flr
trunk/flora2-website/tutorial/examples/delete.flr
trunk/flora2-website/tutorial/examples/erase.flr
trunk/flora2-website/tutorial/examples/flOneAll.flr
trunk/flora2-website/tutorial/examples/moduleExample.flr
trunk/flora2-website/tutorial/examples/prologVShilog.flr
trunk/flora2-website/tutorial/examples/tableVSnot.flr
trunk/flora2-website/tutorial/examples/trace.flr
trunk/flora2-website/tutorial/examples/variableWarnings.flr
trunk/flora2-website/tutorial/homeworks/funproblems.txt
trunk/flora2-website/tutorial/homeworks/hw1-alt.txt
trunk/flora2-website/tutorial/homeworks/hw1-sol/company.flr
trunk/flora2-website/tutorial/homeworks/hw1-sol/division.flr
trunk/flora2-website/tutorial/homeworks/hw1-sol/employee.flr
trunk/flora2-website/tutorial/homeworks/hw1-sol/project.flr
trunk/flora2-website/tutorial/homeworks/hw1-sol/queries.flr
trunk/flora2-website/tutorial/homeworks/hw1.txt
trunk/flora2-website/tutorial/homeworks/hw2-sol/faculty.flr
trunk/flora2-website/tutorial/homeworks/hw2-sol/queries.flr
trunk/flora2-website/tutorial/homeworks/hw2-sol/students.flr
trunk/flora2-website/tutorial/homeworks/hw2-sol/temporal.flr
trunk/flora2-website/tutorial/homeworks/hw2.txt
trunk/flora2-website/tutorial/part1-foundations.ppt
trunk/flora2-website/tutorial/part2-programming.ppt
trunk/flora2-website/tutorial.html
Added Paths:
-----------
trunk/flora2/docs/.gitignore
Property Changed:
----------------
trunk/flora2-website/tutorial/part1-foundations.ppt
trunk/flora2-website/tutorial/part2-programming.ppt
|