]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/matitaConsole.mli
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 20:45:38 +0000 (20:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 20:45:38 +0000 (20:45 +0000)
commit481992ea591bf53cba758a96e7d42e9cdce7e129
treebcfa734868b9452328fa1ad07c92d1807e7e816b
parenteb8dc961c7f9dc2e76a1eb29e2fcf94304011566
snapshot
16 files changed:
helm/matita/.depend
helm/matita/Makefile.in
helm/matita/matita.conf.xml.sample
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaConsole.ml [new file with mode: 0644]
helm/matita/matitaConsole.mli [new file with mode: 0644]
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGtkMisc.ml
helm/matita/matitaGtkMisc.mli
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaProof.ml
helm/matita/matitaProof.mli
helm/matita/matitaTypes.ml