Author: niels
Date: Fri Jul 30 13:10:22 2010
New Revision: 5991
URL: http://svn.gna.org/viewcvs/service-tech?rev=5991&view=rev
Log:
* updated the Petri Net API 4.02 (revision r5970)
* tidied maintainer scripts
* the configure script checks for an installed Petri Net API and uses it if
version >= 4.02
Added:
trunk/cora/m4/Makefile.src
- copied unchanged from r5989, trunk/wendy/m4/Makefile.src
trunk/cora/m4/Makefile.tests
- copied, changed from r5989, trunk/wendy/m4/Makefile.tests
Modified:
trunk/cora/ChangeLog
trunk/cora/Makefile.am
trunk/cora/NEWS
trunk/cora/THEORY
trunk/cora/configure.ac
trunk/cora/doc/ChangeLog.texi
trunk/cora/doc/Makefile.am
trunk/cora/libs/pnapi/Makefile.am
trunk/cora/libs/pnapi/component.cc
trunk/cora/libs/pnapi/exception.cc
trunk/cora/libs/pnapi/exception.h
trunk/cora/libs/pnapi/interface.cc
trunk/cora/libs/pnapi/interface.h
trunk/cora/libs/pnapi/io-format.cc
trunk/cora/libs/pnapi/parser-owfn.cc
trunk/cora/libs/pnapi/parser-pnml-wrapper.cc
trunk/cora/libs/pnapi/petrinet-pn.cc
trunk/cora/libs/pnapi/petrinet.cc
trunk/cora/libs/pnapi/petrinet.h
trunk/cora/libs/pnapi/pnapi.cc
trunk/cora/libs/pnapi/port.cc
trunk/cora/libs/pnapi/port.h
trunk/cora/m4/st_basic.m4
trunk/cora/m4/st_pnapi.m4
trunk/cora/src/Makefile.am
trunk/cora/tests/Makefile.am
trunk/cora/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.
