]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: when the final proof_status is not No_proof matitac returns -1.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 08:11:12 +0000 (08:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 08:11:12 +0000 (08:11 +0000)
commita5b348ea4c1088a9e5b057e1831c132041308bd0
treed0ac373af0a997b8f01f1e1f5214cde25c512204
parent5602ae08829342b7c2526053a5cb27cffe8a3d52
Bug fixed: when the final proof_status is not No_proof matitac returns -1.
helm/matita/matitac.ml