Author: niels
Date: Sun Jun 28 16:36:46 2009
New Revision: 4369
URL: http://svn.gna.org/viewcvs/service-tech?rev=4369&view=rev
Log:
* added new scripts to build binary releases
* a binary release consists of the following pre-configured LoLAs: lola-full,
lola-full1, lola-deadlock, lola-deadlock1, lola-modelchecking,
lola-boundednet, lola-liveprop, lola-liveprop1, lola-statepredicate, and
lola-statepredicate1
Modified:
trunk/lola/ChangeLog
trunk/lola/NEWS
trunk/lola/doc/ChangeLog.texi
trunk/lola/doc/Makefile.am
trunk/lola/maintainer/Makefile.am
trunk/lola/utils/Makefile.am
--
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.
