]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a68231) | patch
Bug related to #xpointer(1/n/m) constructor URI fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Oct 2001 16:53:07 +0000 (16:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Oct 2001 16:53:07 +0000 (16:53 +0000)
commitf30094dc3d98ab6902bdf079b26b269f387af892
treea3aa29d0532751bb1d0b9187285fd3331a433ee0tree | snapshot
parent7a682312385646c38eb1c70d78c2dea127bd2dadcommit | diff
Bug related to #xpointer(1/n/m) constructor URI fixed.
helm/style/mk_meta_graph.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.