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.
