]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4866a47) | patch
First versione of the proofChecker into CVS.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 17:22:51 +0000 (17:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 17:22:51 +0000 (17:22 +0000)
commitfccd7efbf01edf574b0f2c40994793b80648179d
tree248ec7189c02a6e443ec094cfe262fdc1dc2a7c2tree | snapshot
parent4866a470d100cd7eb99c499beef9b61ec0e0a3adcommit | diff
First versione of the proofChecker into CVS.
helm/proofChecker/.cvsignore [new file with mode: 0644] blob
helm/proofChecker/.depend [new file with mode: 0644] blob
helm/proofChecker/Makefile [new file with mode: 0644] blob
helm/proofChecker/proofChecker.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.