]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80d680b) | patch
commented out some debugging instructions
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 5 Jul 2004 07:04:13 +0000 (07:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 5 Jul 2004 07:04:13 +0000 (07:04 +0000)
commit48afaef59db6831345f7a13bd0d66a2c06bc2b80
treeb9f9d3ec096e995476aaaa44b79fa7379817176ftree | snapshot
parent80d680bbbd13116576c961508e3c5631f218308dcommit | diff
commented out some debugging instructions
helm/ocaml/tactics/variousTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.