]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:31:15 +0000 (09:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:31:15 +0000 (09:31 +0000)
commit1fa0472bfe2ed04c7adf166fa48df687f0022226
treecca8cc4861f8d3b075de3952be20a09af37eab5e
parent06c2b37f3d7d4e14cabeef3b18211e5d12b9b4eb
snapshot
16 files changed:
helm/matita/.depend
helm/matita/buildTimeConf.ml.in
helm/matita/configure.ac
helm/matita/matita.conf.xml.sample
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/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaProof.ml
helm/matita/matitaTypes.ml