Author: niels
Date: Mon Aug 11 08:51:03 2008
New Revision: 3241
URL: http://svn.gna.org/viewcvs/service-tech?rev=3241&view=rev
Log:
* a Makefile to create soundness and safeness results (use "make help" for more
information)
* added execution rights to the (probably deprecated) shell scripts
Added:
trunk/uml2owfn_soundness2/scripts/Makefile
Modified:
trunk/uml2owfn_soundness2/scripts/createwikipage_dl.sh (props changed)
trunk/uml2owfn_soundness2/scripts/niels-analysis.sh (props changed)
trunk/uml2owfn_soundness2/scripts/niels-full.sh (props changed)
trunk/uml2owfn_soundness2/scripts/translate-library.sh (props changed)
trunk/uml2owfn_soundness2/scripts/translate.sh (props changed)
--
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.
