]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 133daaf) | patch
There were still many problems with URIs with a ' in the middle.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2001 16:36:04 +0000 (16:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2001 16:36:04 +0000 (16:36 +0000)
commit290e15f0b80ab1a9412fb63c51d3c0f317f9eafa
tree3d1801186450b5ca48c7a89e82952cb06a68d413tree | snapshot
parent133daaf491d1cec4fa9adbb15d626be749efdd79commit | diff
There were still many problems with URIs with a ' in the middle.
Now they should be all resolved (in theory, at least ;-)
helm/on-line/xslt/ls2html.xsl diff | blob | history
helm/on-line/xslt/metadataLib.xsl diff | blob | history
helm/on-line/xslt/utils.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.