]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c35a3f4) | patch
- added options "-vars" and "-varsprefix"
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 7 Feb 2004 10:33:09 +0000 (10:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 7 Feb 2004 10:33:09 +0000 (10:33 +0000)
commitedb6ab182b915ebc8b2810574b0a87bdab39d051
treeed6903e389a850e8fc4ee0fe3c9fb0a45c042692tree | snapshot
parentc35a3f47e0468a6076a3afdd6f2ff5c5fe528784commit | diff
- added options "-vars" and "-varsprefix"
- ported testlibrary to Arg module
helm/gTopLevel/batchParser.ml diff | blob | history
helm/gTopLevel/batchParser.mli diff | blob | history
helm/gTopLevel/regtest.ml diff | blob | history
helm/gTopLevel/testlibrary.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.