]> matita.cs.unibo.it Git - helm.git/commit
- moogle replaces the old search engine
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Jun 2004 13:48:56 +0000 (13:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Jun 2004 13:48:56 +0000 (13:48 +0000)
commit1063eca1bcf978717317356f493ef2a5e456b458
tree280b0e9a4a197553f6df69509752d92ce43ad509
parent8efe0bd61c215608ad2a7df5a12be81fae2eaf59
- moogle replaces the old search engine
helm/on-line/xslt/resolve_topurl.xsl
helm/on-line/xslt/search.xsl
helm/on-line/xslt/toplevel_header.xsl