]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e935206) | patch
more fine grained debug printing
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:31:40 +0000 (14:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:31:40 +0000 (14:31 +0000)
commit67682791e43d61b862e4b442e1e8ae5561df134b
tree53de9e1c50b9114737cc9e329bc6ca3e4066985atree | snapshot
parente935206addabeeaaf03b060154335e5c3c24553acommit | diff
more fine grained debug printing
helm/ocaml/cic_notation/cicNotationPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.