]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed9af5a) | patch
debugging to false
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 14:11:59 +0000 (14:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 14:11:59 +0000 (14:11 +0000)
commitbb49c457d64878ed9611656f620548b5151e5dbd
tree83c5b9d18b457ad5cee9e3d5564a9e0861df3f97tree | snapshot
parented9af5a10b66343f817a1f9eac3add29e4b2baaecommit | diff
debugging to false
helm/ocaml/cic_unification/coercGraph.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.