]> matita.cs.unibo.it Git - helm.git/commit
misc fixes in cic browser queries (pretty printing, url bar, ...)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Sep 2005 14:37:42 +0000 (14:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Sep 2005 14:37:42 +0000 (14:37 +0000)
commit639131d311fd0f111e09feca7b567b28d21e873f
treeae8bb98ef4e70740f4de2900794ac94849521ff1
parentfebd89f8a2b61f958e149ed630f5c991eb7d9661
misc fixes in cic browser queries (pretty printing, url bar, ...)
helm/matita/matitaMathView.ml
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli
helm/matita/matitaScript.ml
helm/matita/matitacLib.ml
helm/matita/matitaclean.ml