Author: niels Date: Wed Oct 22 16:25:24 2008 New Revision: 3514 URL: http://svn.gna.org/viewcvs/service-tech?rev=3514&view=rev Log: LoLA Version 1.10 =================
* this is an official source release by Karsten Wolf - removed warning after executing the configure script * added a generic Doxygen (`http://www.doxygen.org') configuration file `Doxyfile.in' * completed task #6267 (`http://gna.org/task/?626'): `TWOPHASE' is only set when it makes sense, i.e. only in `LIVEPROP' and `HOME' * actually using command line parameters (`--enable-win32', `--enable-64bit', and `--enable-universal') from the configure script Added: trunk/lola/Doxyfile.in trunk/lola/src/buchi.H (with props) trunk/lola/src/buchi.cc (with props) trunk/lola/src/ltl.H trunk/lola/src/ltl.cc Modified: trunk/lola/AUTHORS trunk/lola/ChangeLog trunk/lola/Makefile.am trunk/lola/NEWS trunk/lola/README trunk/lola/configure.ac trunk/lola/doc/ChangeLog.texi trunk/lola/src/Makefile.am trunk/lola/src/check.H trunk/lola/src/check.cc trunk/lola/src/dimensions.H trunk/lola/src/dimensions.cc trunk/lola/src/formula.H trunk/lola/src/formula.cc trunk/lola/src/graph.H trunk/lola/src/graph.cc trunk/lola/src/net.H trunk/lola/src/net.cc trunk/lola/src/path.cc trunk/lola/src/printnet.H trunk/lola/src/printnet.cc trunk/lola/src/readnet-lexic.ll trunk/lola/src/readnet-syntax.yy trunk/lola/src/stubborn.H trunk/lola/src/stubborn.cc trunk/lola/src/symboltab.H trunk/lola/src/symboltab.cc trunk/lola/src/symm.H trunk/lola/src/symm.cc trunk/lola/src/tinv.cc trunk/lola/src/unfold.H trunk/lola/src/unfold.cc -- 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.
