]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed that made theory rendering bugged after visiting a whelp search page.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Jun 2006 09:57:50 +0000 (09:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Jun 2006 09:57:50 +0000 (09:57 +0000)
commit17c6ad0e6bf49a6690ff4fa5e56feac5a42b9099
treee358e3c2b98daaa2dd99cfd551947c67754f6463
parentc6dab1ca4a6c993d7fcbc6aa6a9f5cf432eee695
Bug fixed that made theory rendering bugged after visiting a whelp search page.
helm/software/daemons/on-line/xslt/resolve_topurl.xsl
helm/software/daemons/on-line/xslt/substKey.xsl