]> matita.cs.unibo.it Git - helm.git/commit
fixed whelp bar
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 May 2005 15:24:48 +0000 (15:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 May 2005 15:24:48 +0000 (15:24 +0000)
commitaac382f935bc72578119fa7ff9f53c3b649dd0dd
tree6e7baf6019e96df4ddfdd40743d0048f021fecd1
parentbc36fe01d5465d07ef76c445c83639e341f3eb2a
fixed whelp bar
helm/matita/matitaGui.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaMisc.ml
helm/matita/matitaScript.ml
helm/matita/matitaTypes.ml