]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c10721e) | patch
Ported to Http_registry and to HelmLogger.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Feb 2004 17:51:45 +0000 (17:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Feb 2004 17:51:45 +0000 (17:51 +0000)
commit6f0f31787fb03ea4956227e8fcdbc12abd366931
treeffac71e41fd29c71d65ab46687eb3fac8369b2eetree | snapshot
parentc10721e8910fc80786cf668d0f843e3da2598a21commit | diff
Ported to Http_registry and to HelmLogger.
helm/proofChecker/Makefile diff | blob | history
helm/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.