]> matita.cs.unibo.it Git - helm.git/commit
filled toolbar and implemented buttons behaviours
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Nov 2004 11:06:46 +0000 (11:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Nov 2004 11:06:46 +0000 (11:06 +0000)
commit6b7f04b45232e6c690cacf5815c85c39de1f52b3
treec7f42ac520bfb514f1bb2e4b9cb36c0d872382bd
parent96c2feeb6b1d27e25b7bca582ff6c25a4f87dca8
filled toolbar and implemented buttons behaviours
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaInterpreter.ml