]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5002153) | patch
bugfix: ignore proof checker output
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 17 Jun 2004 10:13:22 +0000 (10:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 17 Jun 2004 10:13:22 +0000 (10:13 +0000)
commit8efe0bd61c215608ad2a7df5a12be81fae2eaf59
tree2b1ce26e8d145fdb5937fb9d7860fbf1a37c54a2tree | snapshot
parent5002153c1f53bffc0a200a88980ad99b1d756703commit | diff
bugfix: ignore proof checker output
helm/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.