]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5602ae0) | patch
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
treed0ac373af0a997b8f01f1e1f5214cde25c512204tree | snapshot
parent5602ae08829342b7c2526053a5cb27cffe8a3d52commit | diff
Bug fixed: when the final proof_status is not No_proof matitac returns -1.
helm/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.