]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb063f9) | patch
Proof-checker ported to the mowgli version.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:47:36 +0000 (15:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:47:36 +0000 (15:47 +0000)
commit3857ed609d4f77e7554d18df5ef7c5a4d129f182
tree870186318562f06299feaa5f67e1db8257d9710dtree | snapshot
parentcb063f95f155da1d2d8c90a6059722459dba1e2bcommit | diff
Proof-checker ported to the mowgli version.
helm/scripts/init.d/etc_default_helm diff | blob | history
helm/scripts/init.d/helm-bootmisc.sh diff | blob | history
helm/scripts/init.d/helm-proof-checker_mowgli [new file with mode: 0755] blob
helm/scripts/init.d/helm-tomcat diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.