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

Revision: 1222
          http://sourceforge.net/p/flora/src/1222
Author:   kifer
Date:     2015-02-11 02:17:16 +0000 (Wed, 11 Feb 2015)
Log Message:
-----------
Merge minor fixes from the ergo branch

Modified Paths:
--------------
    trunk/flora2/docs/flora-flrjava.tex
    trunk/flora2/docs/flora-flrxml.tex
    trunk/flora2/docs/flora-packages.tex
    trunk/flora2/docs/flora-persistence.tex
    trunk/flora2/docs/flora-prettyprint.tex
    trunk/flora2/docs/flora-protege.tex
    trunk/flora2/docs/flora2-manual.tex
    trunk/flora2/emacs/flora.el
    trunk/flora2/flrcoder.H
    trunk/flora2/flrcoder.P
    trunk/flora2/flrcompiler.H
    trunk/flora2/flrcompiler.P
    trunk/flora2/flrincludes/flora_errors.flh
    trunk/flora2/flrincludes/flora_terms.flh
    trunk/flora2/flrparser.H
    trunk/flora2/flrparser.P
    trunk/flora2/flrporting.P
    trunk/flora2/flrregistry.P
    trunk/flora2/flrutils.H
    trunk/flora2/flrutils.P
    trunk/flora2/version.flh
    trunk/flora2-testsuite/general_tests/.gitignore
    trunk/flora2-website/florahome.html
    trunk/flora2-website/release_notes.html