]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf60fc5) | patch
- make *opt fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Feb 2004 11:11:49 +0000 (11:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Feb 2004 11:11:49 +0000 (11:11 +0000)
commit8efc118083312d8cef7ea080e7b4f780cae5979a
tree3e72ae216f4d7f907dcb361643ac1b88f27969f7tree | snapshot
parentbf60fc57745fba8a2a22215ed1286eceae0f7700commit | diff
- make *opt fixed
- added -vars -varsprefix cic:/Coq to testlibrary
helm/gTopLevel/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.