]> matita.cs.unibo.it Git - helm.git/commit
- added to the cicBrowser support for displaying recursive direct/inverse
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 17:34:50 +0000 (17:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 17:34:50 +0000 (17:34 +0000)
commit9b80b9daef18036e1b4a1de1abf502c1efe7ab2e
tree5e3724d52b07e7803a9e8b3bebce196884c5df0d
parentc74f1dccc79f51f860a5b4e7ef67762823174d50
- added to the cicBrowser support for displaying recursive direct/inverse
  dependencies of a given object. To integrate this with cicBrowser's history
  also added a new URI scheme: metadata:/deps/(forward|backward)/URI, where URI
  is the object URI without the trailing "cic:"
- removed automatic stripping of #xpointer(...) from URIs of inductive types
helm/software/matita/matita.glade
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli