]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/matitaGui.ml
removed dead code (thanks to ocaml 3.09)
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 27 Nov 2005 16:17:36 +0000 (16:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 27 Nov 2005 16:17:36 +0000 (16:17 +0000)
commit7c123bfb1568f90f37cd667332fbf60d4423b983
tree1ac56982c98624950c9585c40fbc4832971c5d6d
parent1dd8ba456b2c38a912de788c3fc6a815e472d475
removed dead code (thanks to ocaml 3.09)
helm/matita/matitaEngine.ml
helm/matita/matitaGtkMisc.ml
helm/matita/matitaGui.ml
helm/matita/matitaScript.ml
helm/matita/matitaSync.ml
helm/matita/matitamakeLib.ml