matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 19 Jul 2006 17:34:50 +0000 (17:34 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 19 Jul 2006 17:34:50 +0000 (17:34 +0000)
commit	ae810c1e6bfab5076b18c841da9396a867526498
tree	8926e7884b97e3d02c2aefa2b0dc88401156c13e	tree \| snapshot
parent	e0084c5ce13f5a2ab9622adbcaa5b3b41202d17e	commit \| diff

- 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

matita/matita.glade		diff \| blob \| history
matita/matitaMathView.ml		diff \| blob \| history
matita/matitaTypes.ml		diff \| blob \| history
matita/matitaTypes.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom