]> matita.cs.unibo.it Git - helm.git/commit
- handles about:* uris in cicBrowser
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jun 2005 20:17:03 +0000 (20:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jun 2005 20:17:03 +0000 (20:17 +0000)
commitfd372e069bbcaa96dc5b2eef04f341b28850d726
tree76fb065e939ef29d9ef7ea303fbb3ce36f10a6a1
parentd937fdd65dc2101eaf1e0d167bf5db249a6f9b6b
- handles about:* uris in cicBrowser
- added comboboxentry in cicBrowser (still ugly ...)
helm/matita/.depend
helm/matita/Makefile.in
helm/matita/matita.glade
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaMathView.ml
helm/matita/matitaTypes.ml