]> matita.cs.unibo.it Git - helm.git/commit
snapshot:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Nov 2004 13:30:11 +0000 (13:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Nov 2004 13:30:11 +0000 (13:30 +0000)
commit142d3076f2a4dc17d9045c2bba4d4b01eddfd008
tree0b9d5584bd45598cff7d392dadce8db44cce55b6
parent275727242ccdce9df01af65f3bfb2d65283fa197
snapshot:
- changed interaction model
17 files changed:
helm/matita/buildTimeConf.ml.in
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaConsole.ml
helm/matita/matitaConsole.mli
helm/matita/matitaDisambiguator.ml
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/matitaInterpreter.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli
helm/matita/matitaTypes.ml