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

Revision: 1104
          http://sourceforge.net/p/flora/src/1104
Author:   kifer
Date:     2013-11-22 04:14:18 +0000 (Fri, 22 Nov 2013)
Log Message:
-----------
added bi-implications,
L-T to the manual,
more tests

Modified Paths:
--------------
    trunk/flora2/docs/flora2-manual.tex
    trunk/flora2/flrincludes/flora_terms.flh
    trunk/flora2/flroperator.P
    trunk/flora2/flrparser.P
    trunk/flora2-testsuite/general_tests/lt.flr
    trunk/flora2-testsuite/general_tests/lt_old
    trunk/flora2-website/release_notes.html