]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2bed8d) | patch
refactored gui handling code so that MatitaMathView is linked before MatitaGui
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 12:55:52 +0000 (12:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 12:55:52 +0000 (12:55 +0000)
commitddff8ae1e15c9fcaf83320978a5cad509d734a74
tree24c15c64216b4b4cbcf9f0075058c3405fc35e3ctree | snapshot
parentc2bed8dae7974d7b48cba8a27a0570a8a7325800commit | diff
refactored gui handling code so that MatitaMathView is linked before MatitaGui
and all callback registrations happen in matitaGui.ml rather than matita.ml
helm/matita/.depend diff | blob | history
helm/matita/Makefile.in diff | blob | history
helm/matita/matita.ml diff | blob | history
helm/matita/matitaGui.ml diff | blob | history
helm/matita/matitaGui.mli diff | blob | history
helm/matita/matitaGuiTypes.mli [new file with mode: 0644] blob
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaMathView.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.