]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc6b3da) | patch
1. the default encoding for the stylesheets is now UTF8
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 16:50:33 +0000 (16:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 16:50:33 +0000 (16:50 +0000)
commit5e6514baae1be6e18b9fe8b6c99d61cfa62cdabc
treee30e1104bcf5909a2e7c6f25b86b753e912f3c1ftree | snapshot
parentbc6b3da5f91648b34c55478b3db71a485894ebdfcommit | diff
1. the default encoding for the stylesheets is now UTF8
2. committed a few changes in search.xsl that had never been committed before
daemons/on-line/README [new file with mode: 0644] blob
daemons/on-line/html/cic/control.html diff | blob | history
daemons/on-line/xslt/getParam.xsl diff | blob | history
daemons/on-line/xslt/ls2theory.xsl diff | blob | history
daemons/on-line/xslt/makeGraphLinks.xsl diff | blob | history
daemons/on-line/xslt/metadataControl.xsl diff | blob | history
daemons/on-line/xslt/search.xsl diff | blob | history
daemons/on-line/xslt/substKey.xsl diff | blob | history
daemons/on-line/xslt/toplevel_header.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.