Author: niels Date: Mon Aug 10 11:25:19 2009 New Revision: 4534 URL: http://svn.gna.org/viewcvs/service-tech?rev=4534&view=rev Log: Wendy Version 1.7 =================
* added test case for bug #13903 (`https://gna.org/bugs/?13903') * fixed bug #14025 (`https://gna.org/bugs/?14025'): the Dot output had problems with nonempty knowledge with true annotation * fixed bug #14067 (`https://gna.org/bugs/?14067'): a change in the Petri Net API broke the evaluation of final conditions * added new version of the Petri Net API (after fixing bug #13844 (`http://gna.org/bugs/?13844') * made some adjustments which allow for a native Windows compilation (independent of `cygwin1.dll') * added details to the man page; a PDF version of the man page can be created with `make man-pdf' in the `man' directory (requires groff and ps2pdf) * small fix to allow compilation under x86_64 architectures Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/maintainer/Makefile.am trunk/wendy/src/main.cc trunk/wendy/tests/testsuite.at -- 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.
