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

Revision: 1114
          http://sourceforge.net/p/flora/src/1114
Author:   kifer
Date:     2013-12-09 07:37:50 +0000 (Mon, 09 Dec 2013)
Log Message:
-----------
Merge branch 'head-hook'

Modified Paths:
--------------
    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/flrcommon.fli
    trunk/flora2/closure/flrcommon_inh.fli
    trunk/flora2/closure/flrcommon_neg.inc
    trunk/flora2/closure/flrcommon_pred.fli
    trunk/flora2/closure/flreqltrailer.fli
    trunk/flora2/closure/flreqltrailer_inh.fli
    trunk/flora2/closure/flreqltrailer_neg.inc
    trunk/flora2/closure/flreqltrailer_neg_inh.inc
    trunk/flora2/closure/flrequality_none.inc
    trunk/flora2/closure/flrimportaxioms.fli
    trunk/flora2/closure/flrimportaxioms_neg.inc
    trunk/flora2/closure/flrnoeqltrailer.fli
    trunk/flora2/closure/flrnoeqltrailer_inh.fli
    trunk/flora2/closure/flrnoeqltrailer_neg.inc
    trunk/flora2/closure/flrnoeqltrailer_neg_inh.inc
    trunk/flora2/closure/flrpredeql.fli
    trunk/flora2/closure/flrprednoeql.fli
    trunk/flora2/closure/flrscalareql.fli
    trunk/flora2/closure/flrsigaxioms.fli
    trunk/flora2/closure/flrtypes.fli
    trunk/flora2/debugger/flrtabledump.P
    trunk/flora2/debugger/flrterminyzer.P
    trunk/flora2/demos/slow_depchk.flr
    trunk/flora2/flrcoder.H
    trunk/flora2/flrcoder.P
    trunk/flora2/flrcompiler.P
    trunk/flora2/flrdependency.P
    trunk/flora2/flrincludes/flora_errors.flh
    trunk/flora2/flrincludes/flora_prefix.flh
    trunk/flora2/flrincludes/flora_tabling_methods.flh
    trunk/flora2/flrincludes/flora_terms.flh
    trunk/flora2/flrincludes/flora_wspredicates.flh
    trunk/flora2/flroperator.P
    trunk/flora2/flrporting.P
    trunk/flora2/flrundefined.P
    trunk/flora2/flrwrapper.P
    trunk/flora2/genincludes/flrdefeasible.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
    trunk/flora2/genincludes/flrexportcheck.fli
    trunk/flora2/genincludes/flrexportcheck_neg.inc
    trunk/flora2/genincludes/flropposes_data.fli
    trunk/flora2/genincludes/flrpreddef.fli
    trunk/flora2/genincludes/flrpreddef_NAF.inc
    trunk/flora2/genincludes/flrpreddef_neg.inc
    trunk/flora2/genincludes/flrrefreshtable.fli
    trunk/flora2/genincludes/flrrefreshtable_neg.inc
    trunk/flora2/makeflora
    trunk/flora2/makeflora.bat
    trunk/flora2/syslib/flrbtdbop.P
    trunk/flora2/syslib/flrcallflora.P
    trunk/flora2/syslib/flrcanon.P
    trunk/flora2/syslib/flrclause.P
    trunk/flora2/syslib/flrdbop.P
    trunk/flora2/syslib/flrdecode.P
    trunk/flora2/syslib/flrdescriptor_support.P
    trunk/flora2/syslib/flrdynmod.P
    trunk/flora2/syslib/flrdynrule.P
    trunk/flora2/syslib/flrexport.P
    trunk/flora2/syslib/flrimport.P
    trunk/flora2/syslib/flrmetaops.P
    trunk/flora2/syslib/flrrulesigops.P
    trunk/flora2/syslib/flrstoragebase.P
    trunk/flora2/syslib/flrstorageutils.P
    trunk/flora2/syslib/flrtrim.P
    trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load_old
    trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_old
    trunk/flora2-testsuite/general_tests/agent.flr
    trunk/flora2-testsuite/general_tests/agent_old
    trunk/flora2-testsuite/general_tests/clauseWithLabel_old
    trunk/flora2-testsuite/general_tests/descriptors_old
    trunk/flora2-testsuite/general_tests/incremental.flr
    trunk/flora2-testsuite/general_tests/metaupdates_old
    trunk/flora2-testsuite/general_tests/services.flr
    trunk/flora2-testsuite/general_tests/table_dump_old
    trunk/flora2-testsuite/general_tests/traced_call_old
    trunk/flora2-testsuite/testsuite.sh