]> matita.cs.unibo.it Git - helm.git/commit
error message was printed on stdout
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 17:52:05 +0000 (17:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 17:52:05 +0000 (17:52 +0000)
commitccff0f94a360bf6aed0120064ea07c07ee62cce8
tree97af6b73324b92042deb3ddcf366a5a7b0b31f5d
parent66063c24d7a6829820a12c0264cb9364f3f5030a
error message was printed on stdout
helm/software/components/cic_proof_checking/cicEnvironment.ml