]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b913b3e) | patch
removed debugging info
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jan 2010 08:23:31 +0000 (08:23 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jan 2010 08:23:31 +0000 (08:23 +0000)
commit2e55fd0b276071a142e523322a777fef8c9e5a3f
treeb4224206e8d770ed8dea012e1c0b510c5879c21ftree | snapshot
parentb913b3ee973dfc9f1e6d7c0fd0c720d03699689ecommit | diff
removed debugging info
helm/software/components/ng_paramodulation/nCicParamod.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.