]> matita.cs.unibo.it Git - helm.git/commit
fixed some pp stuff
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 13 May 2006 13:43:42 +0000 (13:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 13 May 2006 13:43:42 +0000 (13:43 +0000)
commit372dd23aa25ac67965f5427f7b56aa7d1f465138
treefed327caea46bdf092e927d5bd7b5d84350876fb
parent39029e4dd766589e69b7f72580e7051cad99d3da
fixed some pp stuff
helm/software/components/acic_content/cicNotationPp.ml
helm/software/components/binaries/Makefile
helm/software/components/binaries/tptp2grafite/Makefile
helm/software/components/binaries/tptp2grafite/main.ml
helm/software/components/grafite/grafiteAstPp.ml