]> matita.cs.unibo.it Git - helm.git/commit
preliminary support for hbugs
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Nov 2006 13:46:17 +0000 (13:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Nov 2006 13:46:17 +0000 (13:46 +0000)
commit894c3e4038c93b484896e81132eae55046e47605
treeeb48c7e5075f4b3641b6b99e00740c27ae93d5ff
parentf1a90ee8745c3fa5324e7a7e8c2f8398483c1ff6
preliminary support for hbugs
added to the cicbrowser the CTRL-l binding for highlighting the URL (a-la-firefox)
helm/software/matita/matita.glade
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli