]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3ea60d) | patch
Bug fixed: reduction in the scratch window now works even if there is no
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Apr 2002 13:03:44 +0000 (13:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Apr 2002 13:03:44 +0000 (13:03 +0000)
commitc7d2d6da56d97250ee7ab619ee8c310d91fa912d
tree5a648d93394c5c1b355bdd26da1e4857c44ecaadtree | snapshot
parenta3ea60dba4a46e32ab70a0ebda36367a8186a59fcommit | diff
Bug fixed: reduction in the scratch window now works even if there is no
proof in progress.
helm/gTopLevel/proofEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.