]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f25a6ef) | patch
removed debugging printf
authorLuca Padovani <luca.padovani@unito.it>
Tue, 30 Jan 2001 14:40:44 +0000 (14:40 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 30 Jan 2001 14:40:44 +0000 (14:40 +0000)
commit9bff83826c41b1dfdcf0c385d9c4a4f2f494be11
tree01b58986fca7135b568ebc7ff19ceac4684a908ctree | snapshot
parentf25a6ef4d3e7263420d1e72daccf5e60c672b47bcommit | diff
removed debugging printf
helm/interface/xsltProcessor.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.