]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36f16f9) | patch
Debug code commented out.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Jul 2006 14:39:46 +0000 (14:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Jul 2006 14:39:46 +0000 (14:39 +0000)
commitf969eaeae57e6d4b1c7e9b35d4061134094d5266
tree13cd4095ded63b1b8eb3efbc5c7990e72710f8e2tree | snapshot
parent36f16f9b183c7324d8c8ff4851c6481a48296304commit | diff
Debug code commented out.
helm/software/components/library/librarySync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.