]> matita.cs.unibo.it Git - helm.git/commit
Procedural: we removed some commented code
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 26 Sep 2008 15:03:55 +0000 (15:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 26 Sep 2008 15:03:55 +0000 (15:03 +0000)
commitea3b15fdedb39c72ae1b39f210917c6f38fc062d
tree185c63cbe309ae218479e02397475e3bd3df1fb3
parenteb9ca860db8cb06083765f7698179f16dee5303e
Procedural: we removed some commented code
matita/Makefile: tests re-enabled
character: scheduled for daily testing
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/matita/Makefile
helm/software/matita/contribs/Makefile
helm/software/matita/contribs/character/Makefile