]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 15 Nov 2004 09:03:45 +0000 (09:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 15 Nov 2004 09:03:45 +0000 (09:03 +0000)
commite35ec00b1be70e4b064b74a49735b37b5e719e5b
tree714b3a2c02e497c02240b204af8c897481c28250
parent9369ab9136d5726669b30f3598f2e433fba438d9
snapshot
12 files changed:
helm/matita/.depend
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaConsole.ml
helm/matita/matitaConsole.mli
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGui.ml
helm/matita/matitaInterpreter.ml
helm/matita/matitaInterpreter.mli
helm/matita/matitaMathView.ml
helm/matita/matitaTypes.ml