]> matita.cs.unibo.it Git - helm.git/commit
sorted cicBrowser's listings
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 19 Jul 2005 17:23:35 +0000 (17:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 19 Jul 2005 17:23:35 +0000 (17:23 +0000)
commit789bd6e2f5d8678421c6043359be50b695720d3f
treeb4159983a4adfd660eb49ff89899675a593023d1
parent5022202a659044d981833ba8665424a52684b07f
sorted cicBrowser's listings
helm/matita/matitaMathView.ml