Author: niels
Date: Sat Nov 21 16:31:56 2009
New Revision: 5065

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

* no statistics output is printed when using directive `STATESPACE'

* fixed bug #14295 (see `https://gna.org/bugs/?14295'): Place is ignored in
marking output; isolated places are not removed when using directive
`STATESPACE'

* whenever a SCC representative is found, all members (excluding the
representative) of the current SCC are now printed out when directive
`STATESPACE' is used


Modified:
    trunk/lola/ChangeLog
    trunk/lola/NEWS
    trunk/lola/configure.ac
    trunk/lola/doc/ChangeLog.texi


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