]> matita.cs.unibo.it Git - helm.git/commit
some fixes for whelp macros (concerning pprint...)
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 15:48:08 +0000 (15:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 15:48:08 +0000 (15:48 +0000)
commit863eeec8251791046ea6ea487286eb1434520725
tree4ac3f2c4733ef362084dffb37c69fa75d8a799da
parent30f3120e9eb7cb49649e9bd29bf06eb7593c29c3
some fixes for whelp macros (concerning pprint...)
helm/software/matita/applyTransformation.ml
helm/software/matita/applyTransformation.mli
helm/software/matita/matitaGtkMisc.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaMisc.ml
helm/software/matita/matitaScript.ml