]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f30094d) | patch
Bug removed/Feature changed: CIC URIs for inductive data types
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Oct 2001 10:11:56 +0000 (10:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Oct 2001 10:11:56 +0000 (10:11 +0000)
commit44834a1b07dbe242a8379bd23b6d2e01f5c65a06
tree561754f578faa6b1bff059bc7b9580abe23dd701tree | snapshot
parentf30094dc3d98ab6902bdf079b26b269f387af892commit | diff
Bug removed/Feature changed: CIC URIs for inductive data types
and constructors ending with an #xpointer are now handled
(more) correctly.
helm/graphs/tools/draw_graph.cgi diff | blob | history
helm/style/mk_dep_graph.xsl diff | blob | history
helm/style/mk_meta_graph.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.