From: Michael K. <ki...@us...> - 2004-06-20 08:33:44
|
Update of /cvsroot/xsb/XSB/packages/flora2/demos In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv22937/demos Modified Files: rel_ops.flr pps2.flr pps.flr owl_benchmark.flr mix.flr metavar.flr flogic_basics.flr family_rel.flr family_obj.flr dyn_pps.flr dyn_fbasics.flr default.flr btupdates.flr benchmark.flr NMakefile.mak Makefile Added Files: slow_depchk.flr owl_benchmark2_noeq.flr owl_benchmark2_eq.flr encap_mod2.flr encap_mod1.flr encap_error_test.flr Log Message: updated XSB's version of Flora |