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.

Reply via email to