]> 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)
commit890221127070350c2e33aa4685398b03258aa847
treee0d66ea66aa4a8fe8a67c494692200a817ce97a8
parente57e808481a6f0a9bd6bd66d6afbfb484ebad2e5
some fixes for whelp macros (concerning pprint...)
matita/applyTransformation.ml
matita/applyTransformation.mli
matita/matitaGtkMisc.ml
matita/matitaMathView.ml
matita/matitaMisc.ml
matita/matitaScript.ml