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

Revision: 1182
          http://sourceforge.net/p/flora/src/1182
Author:   kifer
Date:     2014-05-26 04:44:28 +0000 (Mon, 26 May 2014)
Log Message:
-----------
fixed compiler bug in reification of delay quantifiers
better treatment of these quantifiers by =..

Modified Paths:
--------------
    trunk/flora2/docs/flora2-manual.tex
    trunk/flora2/flrcoder.P
    trunk/flora2/flrcompiler.P
    trunk/flora2/syslib/flrdecode.P
    trunk/flora2/syslib/flrmetaops.P
    trunk/flora2/version.flh
    trunk/flora2-testsuite/general_tests/compile_control.flr