]> matita.cs.unibo.it Git - helm.git/commit
added displaying of the dep graph of a development, click action still missing
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Sep 2006 09:29:14 +0000 (09:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Sep 2006 09:29:14 +0000 (09:29 +0000)
commit1a613a4c0b68938f0ced6e190adffa805d1b5680
treef6705de1280ea01d71409a809495aba43e25da00
parent2edd802fd82af7aa282a82344d14c851c210ed1c
added displaying of the dep graph of a development, click action still missing
matita/matita.glade
matita/matitaGui.ml
matita/matitaMathView.ml
matita/matitaTypes.ml
matita/matitaTypes.mli
matita/matitamakeLib.ml
matita/matitamakeLib.mli