]> matita.cs.unibo.it Git - helm.git/commit
added support for directory browsing in cicBrowser
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Feb 2005 15:23:02 +0000 (15:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Feb 2005 15:23:02 +0000 (15:23 +0000)
commit77784fbeb858e3cbec8a0ad7cb03f271089b09a3
tree0e0d7a983798e58d382cff9ef6aedb36bffe34ca
parentbc4f055d3cef22d003fce844445f66cc9a25f92c
added support for directory browsing in cicBrowser
helm/matita/matita.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli