]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1eb77ed) | patch
Debugging code commented out.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Dec 2006 18:48:00 +0000 (18:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Dec 2006 18:48:00 +0000 (18:48 +0000)
commit5aa1f1918c39c0d4130574927fa0f870e613cdea
tree60558927af77a24597c2085a278d95cb780f7e1dtree | snapshot
parent1eb77ed6774cb642e763182e900f143a0184e085commit | diff
Debugging code commented out.
components/tactics/universe.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.