]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 965067a) | patch
Bug fixing: now the link to the graphs produce extended URIs
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 18 Oct 2001 10:17:15 +0000 (10:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 18 Oct 2001 10:17:15 +0000 (10:17 +0000)
commit0fa41b365811c040a0aeb39e3ea217754f88decb
treec87f667c491883ce8b500bad9f582972c368acc8tree | snapshot
parent965067aacd2d18b090226792d785265b90c02017commit | diff
Bug fixing: now the link to the graphs produce extended URIs
(e.g. ".../nat.ind#xpointer(1/1/1")
helm/on-line/xslt/demultiplexMutual.xsl diff | blob | history
helm/on-line/xslt/metadataControl.xsl diff | blob | history
helm/on-line/xslt/metadataLib.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.