]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb899bb) | patch
- regtest: better argument handling (using Arg)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 11:52:51 +0000 (11:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 11:52:51 +0000 (11:52 +0000)
commit3a78c9d9b4da1f7b4ec83141449c4e81c5c96cff
tree6b1da2ffad2140e0d2c92da108ec7d6f270c9b6etree | snapshot
parenteb899bba1d595fafbf1f719991cc8a5710996340commit | diff
- regtest: better argument handling (using Arg)
- regtest: -dump and -nodump to dump the environment (that is authomatically
  restored if found)
- Makefile: new target envtest that generates the environments without
  changing the .test files
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/regtest.ml diff | blob | history
helm/gTopLevel/tests/.cvsignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.