]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4d808a) | patch
Stylesheet whose input is an empty document. It calls the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 14:06:38 +0000 (14:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 14:06:38 +0000 (14:06 +0000)
commit45c331d4b31095b6255a341f5093d695a0ee0c37
tree8c6979a74f8cd96acf479f9ca7473f7eb21c4aa6tree | snapshot
parenta4d808ae26c008ecd87c631dfb955a22e018352ccommit | diff
Stylesheet whose input is an empty document. It calls the
new search engine (moowgle) passing the needed parameters.
helm/on-line/xslt/search.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.