]> matita.cs.unibo.it Git - helm.git/commit
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
tree60558927af77a24597c2085a278d95cb780f7e1d
parent1eb77ed6774cb642e763182e900f143a0184e085
Debugging code commented out.
components/tactics/universe.ml