flora-commits Mailing List for Flora-2 (Page 5)
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...> - 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
|
|
From: <ki...@us...> - 2014-02-12 03:27:15
|
Revision: 1145
http://sourceforge.net/p/flora/src/1145
Author: kifer
Date: 2014-02-12 03:27:13 +0000 (Wed, 12 Feb 2014)
Log Message:
-----------
process head-setarg in the parser rather than the compiler
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2-testsuite/general_tests/cranial_data.flr
trunk/flora2-testsuite/general_tests/tnf_data.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
|
|
From: <ki...@us...> - 2014-02-12 03:27:07
|
Revision: 1144
http://sourceforge.net/p/flora/src/1144
Author: kifer
Date: 2014-02-12 03:27:05 +0000 (Wed, 12 Feb 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-02-12 03:27:04
|
Revision: 1143
http://sourceforge.net/p/flora/src/1143
Author: kifer
Date: 2014-02-12 03:27:03 +0000 (Wed, 12 Feb 2014)
Log Message:
-----------
minor
Modified Paths:
--------------
trunk/flora2-testsuite/general_tests/.gitignore
|
|
From: <ki...@us...> - 2014-02-11 20:08:58
|
Revision: 1142
http://sourceforge.net/p/flora/src/1142
Author: kifer
Date: 2014-02-11 20:08:57 +0000 (Tue, 11 Feb 2014)
Log Message:
-----------
minor merge
Removed Paths:
-------------
trunk/flora2-testsuite/general_tests/compiletest_old
|
|
From: <ki...@us...> - 2014-02-11 20:08:54
|
Revision: 1141
http://sourceforge.net/p/flora/src/1141
Author: kifer
Date: 2014-02-11 20:08:52 +0000 (Tue, 11 Feb 2014)
Log Message:
-----------
minor merge from ergo
Modified Paths:
--------------
trunk/flora2/flrundefined.P
trunk/flora2-testsuite/general_tests/compiletest_old
trunk/flora2-testsuite/general_tests/cranial_data.flr
|
|
From: <ki...@us...> - 2014-02-11 01:00:09
|
Revision: 1140
http://sourceforge.net/p/flora/src/1140
Author: kifer
Date: 2014-02-11 01:00:07 +0000 (Tue, 11 Feb 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/.gitignore
|
|
From: <ki...@us...> - 2014-02-11 01:00:04
|
Revision: 1139
http://sourceforge.net/p/flora/src/1139
Author: kifer
Date: 2014-02-11 00:59:59 +0000 (Tue, 11 Feb 2014)
Log Message:
-----------
added axioms for argument subsumption in signatures
Modified Paths:
--------------
trunk/flora2/closure/Makefile
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrsigaxioms.fli
trunk/flora2/debugger/flrdebugger.P
trunk/flora2/debugger/flrtabledump.P
trunk/flora2/debugger/flrterminyzer.P
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/floraconfig
trunk/flora2/floraconfig.bat
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_characters.flh
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.H
trunk/flora2/flrlexer.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrshell.P
trunk/flora2/flrundefined.H
trunk/flora2/flrundefined.P
trunk/flora2/flrutils.P
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrtesting.P
trunk/flora2/syslib/flrwhen.P
trunk/flora2/version.flh
trunk/flora2-testsuite/datafiles/flora_query_caller
trunk/flora2-testsuite/delaystests/test_delays.flr
trunk/flora2-testsuite/delaystests/test_delays_old
trunk/flora2-testsuite/exporttest/encap_mod1.flr
trunk/flora2-testsuite/exporttest/importmodule.flr
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/mon_inherit.flr
trunk/flora2-testsuite/general_tests/notexists_old
trunk/flora2-testsuite/general_tests/tabledupdates.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/general_tests/typecheck_old
trunk/flora2-testsuite/test_dir.sh
Added Paths:
-----------
trunk/flora2/syslib/flrauxil.P
trunk/flora2-testsuite/general_tests/compiletest_flora_old
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/omni.flr
trunk/flora2-testsuite/general_tests/omni_flora_old
|
|
From: <ki...@us...> - 2014-01-24 01:16:25
|
Revision: 1138
http://sourceforge.net/p/flora/src/1138
Author: kifer
Date: 2014-01-24 01:16:22 +0000 (Fri, 24 Jan 2014)
Log Message:
-----------
manual fixes
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-01-24 00:04:32
|
Revision: 1137
http://sourceforge.net/p/flora/src/1137
Author: kifer
Date: 2014-01-24 00:04:29 +0000 (Fri, 24 Jan 2014)
Log Message:
-----------
fixed a bug in dynamic rules when they contain bare variables in the body
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/version.flh
Added Paths:
-----------
trunk/flora2/demos/db_test.flh
|
|
From: <ki...@us...> - 2014-01-23 08:53:48
|
Revision: 1136
http://sourceforge.net/p/flora/src/1136
Author: kifer
Date: 2014-01-23 08:53:45 +0000 (Thu, 23 Jan 2014)
Log Message:
-----------
Merge branch 'svn' into trunk-local
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrutils.P
trunk/flora2/makeflora
trunk/flora2/syslib/flrdynrule.P
trunk/flora2-testsuite/flrtesthook.flh
trunk/flora2-testsuite/general_tests/tnf_flora_old
trunk/flora2-testsuite/symbols/symbol_context_syntax.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_warnings.flr
trunk/flora2-testsuite/test_dir.sh
|
|
From: <ki...@us...> - 2014-01-23 08:03:16
|
Revision: 1135
http://sourceforge.net/p/flora/src/1135
Author: kifer
Date: 2014-01-23 08:03:14 +0000 (Thu, 23 Jan 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-01-23 07:20:15
|
Revision: 1134
http://sourceforge.net/p/flora/src/1134
Author: kifer
Date: 2014-01-23 07:20:11 +0000 (Thu, 23 Jan 2014)
Log Message:
-----------
Merge remote-tracking branch 'bitbucket_frodo/Coherent'
Conflicts:
flora2/flrincludes/hooks/flrproduct.flh
flora2/hooks/flrboot.P
flora2/hooks/flrconsts.flh
flora2/hooks/flrparser_headORhook.P
flora2/hooks/flrparser_headquanthook.P
flora2/hooks/flrwelcome.P
flora2/hooks/version.flh
Modified Paths:
--------------
trunk/flora2/AT/NMakefile.mak
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
trunk/flora2/closure/NMakefile.mak
trunk/flora2/datatypes/NMakefile.mak
trunk/flora2/debugger/NMakefile.mak
trunk/flora2/demos/NMakefile.mak
trunk/flora2/demos/default.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.H
trunk/flora2/flrlexer.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrshell.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/includes/NMakefile.mak
trunk/flora2/lib/NMakefile.mak
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/pkgs/NMakefile.mak
trunk/flora2/runflora.bat
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/version.flh
trunk/flora2-testsuite/delaystests/errors_tests_old
trunk/flora2-testsuite/delaystests/test_delays_old
trunk/flora2-testsuite/exporttest/export_compile_test_old
trunk/flora2-testsuite/flrtesthook.flh
trunk/flora2-testsuite/functions/errors_warnings_tests_old
trunk/flora2-testsuite/functions/test_builtin_old
trunk/flora2-testsuite/functions/test_func_facts_err_old
trunk/flora2-testsuite/functions/test_func_facts_load_err_old
trunk/flora2-testsuite/general_tests/.gitignore
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/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/compiletest_old
trunk/flora2-testsuite/general_tests/depchecktest_old
trunk/flora2-testsuite/general_tests/dyn_fbasics.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/sensortest_err_old
trunk/flora2-testsuite/general_tests/sensortest_load_err_old
trunk/flora2-testsuite/general_tests/setarg.flr
trunk/flora2-testsuite/general_tests/setarg_old
trunk/flora2-testsuite/general_tests/textual_load_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_old
trunk/flora2-testsuite/symbols/symbols_load_tests_old
trunk/flora2-testsuite/symbols/symbols_nowarn_load_tests_old
trunk/flora2-testsuite/symbols/symbols_tests_old
trunk/flora2-testsuite/symbols/symbols_warnoff_load_tests_old
trunk/flora2-testsuite/symbols/test_udf_hilog_pred_err_old
trunk/flora2-testsuite/test_dir.sh
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/tnf.flr
trunk/flora2-testsuite/general_tests/tnf_data.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
|
|
From: <ki...@us...> - 2014-01-01 06:30:34
|
Revision: 1133
http://sourceforge.net/p/flora/src/1133
Author: kifer
Date: 2014-01-01 06:30:31 +0000 (Wed, 01 Jan 2014)
Log Message:
-----------
bug fix in the shell script. revision update
Modified Paths:
--------------
trunk/flora2/makeflora
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-01-01 04:52:58
|
Revision: 1132
http://sourceforge.net/p/flora/src/1132
Author: kifer
Date: 2014-01-01 04:52:56 +0000 (Wed, 01 Jan 2014)
Log Message:
-----------
Merge from the ergo branch.
Added setruntime{...}.
Some configuration work. Requires an XSB update.
Modified Paths:
--------------
trunk/flora2/AT/Makefile
trunk/flora2/AT/NMakefile.mak
trunk/flora2/AT/atco2.flr
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
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/datatypes/Makefile
trunk/flora2/datatypes/NMakefile.mak
trunk/flora2/debugger/Makefile
trunk/flora2/debugger/NMakefile.mak
trunk/flora2/demos/Makefile
trunk/flora2/demos/NMakefile.mak
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlibman.H
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwraparound.H
trunk/flora2/flrwraparound.P
trunk/flora2/genincludes/Makefile
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/includes/Makefile
trunk/flora2/includes/NMakefile.mak
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/PrologFlora.java
trunk/flora2/lib/Makefile
trunk/flora2/lib/NMakefile.mak
trunk/flora2/pkgs/Makefile
trunk/flora2/pkgs/NMakefile.mak
trunk/flora2/runflora
trunk/flora2/runflora.bat
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrerrhandler.P
trunk/flora2/syslib/flrimportedcalls.P
trunk/flora2/version.flh
trunk/flora2-testsuite/datafiles/flora_query_caller
trunk/flora2-testsuite/general_tests/terminyzer0.flr
trunk/flora2-testsuite/general_tests/terminyzer1.flr
trunk/flora2-testsuite/general_tests/terminyzer2.flr
|
|
From: <ki...@us...> - 2013-12-31 03:07:05
|
Revision: 1131
http://sourceforge.net/p/flora/src/1131
Author: kifer
Date: 2013-12-31 03:07:02 +0000 (Tue, 31 Dec 2013)
Log Message:
-----------
Merge branch 'master' into svn
Merges in the changes from ergo. neg propagation through naf, quantifiers
Modified Paths:
--------------
trunk/flora2/.gitignore
trunk/flora2/cc/.gitignore
trunk/flora2/cc/flora_ground.c
trunk/flora2/cc/flora_prefix.in
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/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/makeflora
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/version.flh
trunk/flora2-performance/wine_ontology/wine2.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/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/lt_old
Added Paths:
-----------
trunk/flora2/includes/.gitignore
Removed Paths:
-------------
trunk/flora2/includes/flrdefinition.flh
|
|
From: <ki...@us...> - 2013-12-23 08:50:47
|
Revision: 1130
http://sourceforge.net/p/flora/src/1130
Author: kifer
Date: 2013-12-23 08:50:44 +0000 (Mon, 23 Dec 2013)
Log Message:
-----------
squashed several meta-programming bugs
involve both the compiler and metaops.P
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/.gitignore
trunk/flora2/AT/Makefile
trunk/flora2/AT/NMakefile.mak
trunk/flora2/cc/flora_ground.c
trunk/flora2/cc/prolog2hilog.c
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/.gitignore
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_prefix.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/includes/flrdefinition.flh
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrstorageutils.P
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/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests.flr
trunk/flora2-testsuite/general_tests/delaytest2.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/meta_unification_old
trunk/flora2-testsuite/general_tests/metaupdates_old
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/typecheck.flr
Added Paths:
-----------
trunk/flora2/cc/.gitignore
trunk/flora2/cc/flora_prefix.in
|
|
From: <ki...@us...> - 2013-12-18 04:17:53
|
Revision: 1129
http://sourceforge.net/p/flora/src/1129
Author: kifer
Date: 2013-12-18 04:17:51 +0000 (Wed, 18 Dec 2013)
Log Message:
-----------
small change in error messages
Modified Paths:
--------------
trunk/flora2/flrincludes/flora_errors.flh
|
|
From: <ki...@us...> - 2013-12-18 04:17:50
|
Revision: 1128
http://sourceforge.net/p/flora/src/1128
Author: kifer
Date: 2013-12-18 04:17:48 +0000 (Wed, 18 Dec 2013)
Log Message:
-----------
bug fix in metaops, test added
Modified Paths:
--------------
trunk/flora2/syslib/flrmetaops.P
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/metavar_old
trunk/flora2-website/aboutTR.html
|
|
From: <ki...@us...> - 2013-12-16 01:04:33
|
Revision: 1127
http://sourceforge.net/p/flora/src/1127
Author: kifer
Date: 2013-12-16 01:04:30 +0000 (Mon, 16 Dec 2013)
Log Message:
-----------
squashed some warnings
Modified Paths:
--------------
trunk/flora2/cc/flora_ground.c
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/version.flh
|