[Xsb-commits] FLORA-2 commit: XSB/packages/flora2/docs

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

Update of /cvsroot/xsb/XSB/packages/flora2/docs
In directory usw-pr-cvs1:/tmp/cvs-serv16457/docs

Modified Files:
	flora2.tex flora2.bib 
Log Message:
new syntax for reification: ${...}
cleanup