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

[<ki...@us...>]

Revision: 1238
          http://sourceforge.net/p/flora/src/1238
Author:   kifer
Date:     2015-06-24 04:49:09 +0000 (Wed, 24 Jun 2015)
Log Message:
-----------
merged fixes from ergo:
restructuring
fixes in meta unification
other small bug fixes

Modified Paths:
--------------
    trunk/flora2/datatypes/flrdatatype_parse.P
    trunk/flora2/debugger/static_data.in
    trunk/flora2/docs/flora-packages.tex
    trunk/flora2/docs/flora2-manual.bib
    trunk/flora2/docs/flora2-manual.tex
    trunk/flora2/flora2.P
    trunk/flora2/flrcoder.H
    trunk/flora2/flrcoder.P
    trunk/flora2/flrcompiler.H
    trunk/flora2/flrcompiler.P
    trunk/flora2/flrcomposer.H
    trunk/flora2/flrcomposer.P
    trunk/flora2/flrincludes/flora_characters.flh
    trunk/flora2/flrincludes/flora_contexts.flh
    trunk/flora2/flrincludes/flora_errors.flh
    trunk/flora2/flrincludes/flora_prefix.flh
    trunk/flora2/flrincludes/flora_terms.flh
    trunk/flora2/flrincludes/flora_wspredicates.flh
    trunk/flora2/flrlexer.P
    trunk/flora2/flrlibman.P
    trunk/flora2/flrnodefp.P
    trunk/flora2/flrparser.H
    trunk/flora2/flrparser.P
    trunk/flora2/flrprolog.P
    trunk/flora2/flrregistry.P
    trunk/flora2/flrshell.P
    trunk/flora2/flrundefined.P
    trunk/flora2/flrutils.H
    trunk/flora2/flrutils.P
    trunk/flora2/flrwrapper.P
    trunk/flora2/genincludes/Makefile
    trunk/flora2/genincludes/NMakefile.mak
    trunk/flora2/genincludes/flrdyndeclare.fli
    trunk/flora2/genincludes/flrindex_static_P.fli
    trunk/flora2/genincludes/flrpatch.fli
    trunk/flora2/java/interprolog.jar
    trunk/flora2/syslib/flranswer.P
    trunk/flora2/syslib/flrauxil.P
    trunk/flora2/syslib/flrcallflora.P
    trunk/flora2/syslib/flrcanon.P
    trunk/flora2/syslib/flrdecode.P
    trunk/flora2/syslib/flrdescriptor_support.P
    trunk/flora2/syslib/flrdynmod.P
    trunk/flora2/syslib/flrerrhandler.P
    trunk/flora2/syslib/flrmetaops.P
    trunk/flora2/syslib/flrprefixdef.P
    trunk/flora2-testsuite/general_tests/compile_control.flr
    trunk/flora2-testsuite/general_tests/compiletest.flr
    trunk/flora2-testsuite/general_tests/meta_unification.flr
    trunk/flora2-testsuite/general_tests/meta_unification_old
    trunk/flora2-testsuite/test_dir.sh

Added Paths:
-----------
    trunk/flora2/genincludes/flrhead_dispatch.fli
    trunk/flora2/genincludes/flrhead_dispatch_neg.inc
    trunk/flora2/headerinc/flrhead_dispatch_inc.flh
    trunk/flora2-testsuite/general_tests/compile_control2.flr

Removed Paths:
-------------
    trunk/flora2/genincludes/flrabolish.fli
    trunk/flora2/genincludes/flrabolish_flogic.fli
    trunk/flora2/genincludes/flrabolish_hilog.fli
    trunk/flora2/genincludes/flrabolish_patch.fli
    trunk/flora2/genincludes/flrabolish_trailer_hilog.fli
    trunk/flora2/genincludes/flrdyna.fli
    trunk/flora2/genincludes/flrdyna_defeasibles.inc
    trunk/flora2/genincludes/flrdyna_neg.inc
    trunk/flora2/genincludes/flrdynz.fli
    trunk/flora2/genincludes/flrdynz_defeasibles.inc
    trunk/flora2/genincludes/flrdynz_neg.inc