Author: niels
Date: Mon Jan 12 14:13:55 2009
New Revision: 3698
URL: http://svn.gna.org/viewcvs/service-tech?rev=3698&view=rev
Log:
* the bit representation of the OG's formulae is correctly dotted
Removed:
trunk/rachel/src/main.h
Modified:
trunk/rachel/Doxydetails
trunk/rachel/Doxyfile.in
trunk/rachel/configure.ac
trunk/rachel/doc/rachel.texi
trunk/rachel/src/Action.cc
trunk/rachel/src/Formula.cc
trunk/rachel/src/Formula.h
trunk/rachel/src/Graph.cc
trunk/rachel/src/Graph.h
trunk/rachel/src/Simulation.cc
trunk/rachel/src/cmdline.ggo
trunk/rachel/src/lexer_og.ll
trunk/rachel/src/main.cc
trunk/rachel/src/syntax_og.yy
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
