]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Dec 2004 16:30:13 +0000 (16:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Dec 2004 16:30:13 +0000 (16:30 +0000)
commit5ee4e9d9fbff19b7937459c5ad4652542ac1ccb8
tree75ff5c758ff3074f6b1656006b57273721a3cac5
parent08fc8d34cc017b75eafcaec7bd314c8f49d6e320
snapshot
helm/matita/Makefile.in
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaConsole.ml
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGui.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli