]> matita.cs.unibo.it Git - helm.git/commit
some cosmetic fixes
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Jun 2005 11:08:38 +0000 (11:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Jun 2005 11:08:38 +0000 (11:08 +0000)
commit4b84dd78aa6b596a0d3ee38745890ff65efa8b10
tree85ebede3ff0a5d42753454d35cef26cc430e882d
parent292798b0303eb7f580d73b68fce708289645d97d
some cosmetic fixes
helm/matita/matita.glade
helm/matita/matita.txt
helm/matita/matitaEngine.ml
helm/matita/matitaGui.ml
helm/matita/matitaLog.ml
helm/matita/matitaScript.ml