]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e51af8) | patch
removed old debugging prints
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:30:09 +0000 (12:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:30:09 +0000 (12:30 +0000)
commit12aedbd4d31929a29b46afada84854e65b790b40
tree37d221e9b8e03aecab0c3f54f702b5206e073772tree | snapshot
parent1e51af833318b686d3852fbce5c1b516f3901b5acommit | diff
removed old debugging prints
helm/gTopLevel/termViewer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.