]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c09f421) | patch
- help method added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Jun 2003 14:31:45 +0000 (14:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Jun 2003 14:31:45 +0000 (14:31 +0000)
commit37adb260bc671a4615e2b3fa9fb1ae44999747d0
tree4285e17736bfe10dcc7a82e4afd532251de7376btree | snapshot
parentc09f4214434a9afcb780ba83eb42ea04550baae7commit | diff
- help method added
- branch V7_3_new_exportation merged
helm/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.