Author: niels
Date: Fri Jul 30 13:48:06 2010
New Revision: 5995
URL: http://svn.gna.org/viewcvs/service-tech?rev=5995&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/sara/m4/Makefile.src
- copied unchanged from r5989, trunk/wendy/m4/Makefile.src
trunk/sara/m4/Makefile.tests
- copied, changed from r5989, trunk/wendy/m4/Makefile.tests
Modified:
trunk/sara/Makefile.am
trunk/sara/configure.ac
trunk/sara/libs/pnapi/Makefile.am
trunk/sara/libs/pnapi/automaton.cc
trunk/sara/libs/pnapi/component.cc
trunk/sara/libs/pnapi/exception.cc
trunk/sara/libs/pnapi/exception.h
trunk/sara/libs/pnapi/formula.h
trunk/sara/libs/pnapi/interface.cc
trunk/sara/libs/pnapi/interface.h
trunk/sara/libs/pnapi/io-format.cc
trunk/sara/libs/pnapi/myio.cc
trunk/sara/libs/pnapi/myio.h
trunk/sara/libs/pnapi/parser-lola.cc
trunk/sara/libs/pnapi/parser-owfn-wrapper.cc
trunk/sara/libs/pnapi/parser-owfn-wrapper.h
trunk/sara/libs/pnapi/parser-owfn.cc
trunk/sara/libs/pnapi/parser-owfn.h
trunk/sara/libs/pnapi/parser-pnml-wrapper.cc
trunk/sara/libs/pnapi/parser-woflan.cc
trunk/sara/libs/pnapi/parser.h
trunk/sara/libs/pnapi/petrinet-pn.cc
trunk/sara/libs/pnapi/petrinet.cc
trunk/sara/libs/pnapi/petrinet.h
trunk/sara/libs/pnapi/pnapi.cc
trunk/sara/libs/pnapi/port.cc
trunk/sara/libs/pnapi/port.h
trunk/sara/m4/st_pnapi.m4
trunk/sara/src/Makefile.am
trunk/sara/tests/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.
