]> 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)
commitc88661c20df65b7a8836ec095d49eb7ff964ac56
tree9a1d1375d4c5540a754fc75e176de19282264284
parent834f4ec558838456604312b605bdce3a5d099403
Bug fixed that made theory rendering bugged after visiting a whelp search page.
daemons/on-line/xslt/resolve_topurl.xsl
daemons/on-line/xslt/substKey.xsl