]> matita.cs.unibo.it Git - helm.git/commit - helm/scripts/template.rc
proofChecker ported to Helm_registry
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Feb 2004 22:11:57 +0000 (22:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Feb 2004 22:11:57 +0000 (22:11 +0000)
commited7e3e513e1992c6f9ef4b4733dc3a0b9e782af6
tree6aa510c7408d249b15989a9bda9e07de507d3a47
parenta046b6cc295535b0b70750708ee7e289fe72ffa6
proofChecker ported to Helm_registry
helm/scripts/template.cshrc
helm/scripts/template.rc