]> matita.cs.unibo.it Git - helm.git/commit
Previous commit reverted, as explained in that log.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 6 Jun 2009 16:45:12 +0000 (16:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 6 Jun 2009 16:45:12 +0000 (16:45 +0000)
commitba8d987dab88c8a834c4e23508f13a397070d537
tree7901c7536a2cd1cce6e5c677a0072b7134b8b263
parent442f3a15d7c6afc480da02602d4d4c8db4f44c10
Previous commit reverted, as explained in that log.
helm/software/components/binaries/transcript/.depend
helm/software/components/binaries/transcript/.depend.opt
helm/software/components/ng_cic_content/nTermCicContent.ml
helm/software/components/ng_cic_content/nTermCicContent.mli
helm/software/components/syntax_extensions/.depend
helm/software/matita/applyTransformation.ml
helm/software/matita/applyTransformation.mli
helm/software/matita/matitaMathView.ml