]> 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)
commitef08e2dc4458a7db58575e1694e580c1a8e39a9b
treee870c3ab58b59b1e70c509a3fe1d05c369bd20df
parentba7371c1e56b52e1114dfb7e9407229f373889b9
added displaying of the dep graph of a development, click action still missing
helm/software/matita/matita.glade
helm/software/matita/matitaGui.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli
helm/software/matita/matitamakeLib.ml
helm/software/matita/matitamakeLib.mli