]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7940a86) | patch
moved the annoying debugging print to test
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:19:24 +0000 (14:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:19:24 +0000 (14:19 +0000)
commit95b2ac31867d267091412dbbc0aa6f0fe35a0977
treedb5f0d74eec8f5a920a44b31e409c32a4aaf4738tree | snapshot
parent7940a863379b80948ee74e91d3e578fa309072cacommit | diff
moved the annoying debugging print to test
helm/DEVEL/lablgtkmathview/gMathViewAux.ml diff | blob | history
helm/DEVEL/lablgtkmathview/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.