Author: niels
Date: Fri May 22 10:22:04 2009
New Revision: 4150

URL: http://svn.gna.org/viewcvs/service-tech?rev=4150&view=rev
Log:
LoLA Version 1.12
=================

* addressed bug #13538 (`https://gna.org/bugs/?13538'): `make install' installs 
all binaries with the name `lola' or `lola-xxx' for a standard configuration 
`userconfig.H.xxx' that are present in the `src' folder. Likewise, `make 
uninstall' removes all installed binaries with the name`lola' or `lola-xxx' for 
a standard configuration `userconfig.H.xxx'

* adjusted the parser to cope with different line endings (CR, LF, CRLF)

* licensed LoLA under the GNU Affero General Public License (Affero GPL), see 
file `COPYING'


Added:
    trunk/lola/COPYING
Modified:
    trunk/lola/ChangeLog
    trunk/lola/Makefile.am
    trunk/lola/NEWS
    trunk/lola/README
    trunk/lola/configure.ac
    trunk/lola/doc/ChangeLog.texi
    trunk/lola/doc/lola.texi
    trunk/lola/src/buchi.H
    trunk/lola/src/buchi.cc
    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/ltl.H
    trunk/lola/src/ltl.cc
    trunk/lola/src/net.H
    trunk/lola/src/net.cc
    trunk/lola/src/path.H
    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/structure.H
    trunk/lola/src/stubborn.H
    trunk/lola/src/stubborn.cc
    trunk/lola/src/sweep.H
    trunk/lola/src/sweep.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.H
    trunk/lola/src/tinv.cc
    trunk/lola/src/unfold.H
    trunk/lola/src/unfold.cc
    trunk/lola/src/userconfig.H


-- 
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