]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3c92c2) | patch
Debugging code commented out.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Nov 2005 09:52:32 +0000 (09:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Nov 2005 09:52:32 +0000 (09:52 +0000)
commit081cb0ae54c7e5babdedeea7559d667183a38638
tree1773b0e6f8bae066552ab630c9f07b8ab10ce65atree | snapshot
parentb3c92c2aef3c10264923b6a280df5cc6a79e3c35commit | diff
Debugging code commented out.
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.