]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b473a68) | patch
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)
commit26bd030af58a7f4a5dff3c41ad5431e31e851d3e
treee40000642899e41ef4c74bcc27cb404d383cbf49tree | snapshot
parentb473a681dfab815f882bc646efc2b218f1957db8commit | diff
preliminary support for hbugs
added to the cicbrowser the CTRL-l binding for highlighting the URL (a-la-firefox)
matita/matita.glade diff | blob | history
matita/matitaMathView.ml diff | blob | history
matita/matitaTypes.ml diff | blob | history
matita/matitaTypes.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.