[Flora-commits] SF.net SVN: flora2 commit:[1233] trunk

Revision: 1233
          http://sourceforge.net/p/flora/src/1233
Author:   kifer
Date:     2015-04-09 04:07:52 +0000 (Thu, 09 Apr 2015)
Log Message:
-----------
many small bug fixes
improvements in flora API, interprolog update

Modified Paths:
--------------
    trunk/.gitignore
    trunk/flora2/debugger/flrterminyzer.P
    trunk/flora2/debugger/static_data.in
    trunk/flora2/demos/benchmark.flr
    trunk/flora2/demos/mix.flr
    trunk/flora2/demos/mod1.flr
    trunk/flora2/docs/flora-flrjava.tex
    trunk/flora2/docs/flora-packages.tex
    trunk/flora2/docs/flora2-manual.tex
    trunk/flora2/flora2.P
    trunk/flora2/flrcompiler.H
    trunk/flora2/flrcompiler.P
    trunk/flora2/flrcomposer.H
    trunk/flora2/flrcomposer.P
    trunk/flora2/flrincludes/flora_errors.flh
    trunk/flora2/flrparser.H
    trunk/flora2/flrparser.P
    trunk/flora2/flrprolog.P
    trunk/flora2/flrshell.H
    trunk/flora2/flrshell.P
    trunk/flora2/flrutils.P
    trunk/flora2/java/API/build.sh
    trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/PrologFlora.java
    trunk/flora2/java/interprolog.jar
    trunk/flora2/runflora
    trunk/flora2/syslib/flranswer.P
    trunk/flora2/syslib/flrcallflora.P
    trunk/flora2-testsuite/apptests/gpmanager/schema.flr
    trunk/flora2-testsuite/defeasible/atck1/drive.flr
    trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/atck1/toxic.flr
    trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/atck2/drive.flr
    trunk/flora2-testsuite/defeasible/atck2/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/atck2/toxic.flr
    trunk/flora2-testsuite/defeasible/atck2alt/drive.flr
    trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/atco/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
    trunk/flora2-testsuite/defeasible/atco2/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/atco3/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox2.flr
    trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox2.flr
    trunk/flora2-testsuite/general_tests/.gitignore
    trunk/flora2-testsuite/general_tests/compiletest_flora_old
    trunk/flora2-testsuite/general_tests/in.flr
    trunk/flora2-testsuite/general_tests/in_old_flora
    trunk/flora2-testsuite/general_tests/london_map.flr
    trunk/flora2-testsuite/general_tests/lt.flr
    trunk/flora2-testsuite/general_tests/metavar.flr
    trunk/flora2-testsuite/general_tests/reif_foo.flr
    trunk/flora2-testsuite/general_tests/ruleupdates.flr
    trunk/flora2-testsuite/general_tests/tabledupdates.flr
    trunk/flora2-testsuite/general_tests/terminyzer0_xsblog
    trunk/flora2-testsuite/general_tests/terminyzer1_old
    trunk/flora2-testsuite/general_tests/terminyzer2_old
    trunk/flora2-testsuite/general_tests/typecheck.flr
    trunk/flora2-testsuite/test_dir.sh
    trunk/flora2-website/release_notes.html

Added Paths:
-----------
    trunk/flora2-testsuite/general_tests/assoc.flr
    trunk/flora2-testsuite/general_tests/assoc_old
    trunk/flora2-testsuite/general_tests/symwarn.flr
    trunk/flora2-testsuite/general_tests/symwarn1.flr
    trunk/flora2-testsuite/general_tests/symwarn2.flr
    trunk/flora2-testsuite/general_tests/symwarn_old
    trunk/flora2-testsuite/general_tests/symwarn_old_flora