]> matita.cs.unibo.it Git - helm.git/commitdiff
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)
2. committed a few changes in search.xsl that had never been committed before

helm/software/daemons/on-line/README [new file with mode: 0644]
helm/software/daemons/on-line/html/cic/control.html
helm/software/daemons/on-line/xslt/getParam.xsl
helm/software/daemons/on-line/xslt/ls2theory.xsl
helm/software/daemons/on-line/xslt/makeGraphLinks.xsl
helm/software/daemons/on-line/xslt/metadataControl.xsl
helm/software/daemons/on-line/xslt/search.xsl
helm/software/daemons/on-line/xslt/substKey.xsl
helm/software/daemons/on-line/xslt/toplevel_header.xsl

diff --git a/helm/software/daemons/on-line/README b/helm/software/daemons/on-line/README
new file mode 100644 (file)
index 0000000..3d6d4d4
--- /dev/null
@@ -0,0 +1,2 @@
+All these files are directly served by Apache (or a redirect demon
+as the one in /projects/helm/utils or webfsd).
index 8e6aeaf1f7614b3f6b9f23aa490c642f7022e413..f773710257486788cc15d351a31b7e8ecbe8e2c2 100644 (file)
@@ -96,7 +96,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
     <script>
      var url = processorURL + "apply?keys=MC%2CRT%2CL&amp;xmluri=" +
          getterURL + "getxml%3Furi%3D" + cleanCICURI +
-         "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
+         "&amp;prop.media-type=text/html&amp;prop.encoding=utf8" +
          "&amp;param.CICURI=" + cleanCICURI + "&amp;param.profile=" + profile +
          "&amp;profile=" + profile;
      document.write(
index 0ec71a8699b41eb2adf75245d8cba72a296582d6..14d09f07b7e2efa9d04e3006d12802b1b5d096df 100644 (file)
@@ -7,7 +7,7 @@
 
 <xsl:output 
        method="xml"
-       encoding="iso-8859-1
+       encoding="utf8
        media-type="text/html"
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
index 86eb208495c6ab7732e7202780a24f62c621edde..3e9e4abec3d4f48100b4bd15f4664abea74c352f 100644 (file)
@@ -6,7 +6,7 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
 
-  <xsl:output method="html" encoding="iso-8859-1"/>
+  <xsl:output method="html" encoding="utf8"/>
 
   <xsl:param name="CICURI" select="''" />
   <xsl:param name="interfaceURL" select="''" />
@@ -15,6 +15,9 @@
     <html>
       <head>
        <style>
+         li {
+           font-family: sans-serif;
+         }
          li.theory {
            list-style-image:
              url(<xsl:value-of select="$interfaceURL"/>/icons/theory.png)
index 4ee9dcc24f867dfe3ba12d980682095306c89b16..62c68d227160b319180ed032743c16e66c13dd40 100644 (file)
@@ -37,7 +37,7 @@
 <xsl:param name="uri_set_size" select="''"/>
 <!--CSC: end of cut & paste also in metadataLib.xsl -->
 
-<xsl:output method="html" encoding="iso-8859-1"/>
+<xsl:output method="html" encoding="utf8"/>
 
 <xsl:template match="/|*">
   <xsl:copy>
index 059c0dbe5a7c24d0f67ca5cc28aa961bbe967e04..b548037a5ba8667041cca0b6b98da6e08e29d158 100644 (file)
@@ -12,7 +12,7 @@
 
 <xsl:output 
        method="xml"
-       encoding="iso-8859-1
+       encoding="utf8
        media-type="text/html"
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
index 17fbee744aab401288194feb590536169a344275..8adfc74be1b2f4d6bf71602d626d552db6b889f3 100644 (file)
 <xsl:param name="action" select="''"/>
 <xsl:param name="expression" select="''"/>
 <xsl:param name="advanced" select="no"/>
+<xsl:param name="page" select="1"/>
 <xsl:param name="choices" select="''"/>
 <xsl:param name="interp" select="''"/>
 <xsl:param name="constraints" select="''"/>
 <xsl:param name="searchengineURL" select="''"/>
+<xsl:param name="processorURL" select="''"/>
 <xsl:param name="url" select="''"/>
 
 <xsl:include href="links_library.xsl"/>
  </xsl:choose>
 </xsl:variable>
 
+<xsl:variable name="this">
+ <xsl:call-template name="quote">
+  <xsl:with-param name="s"><xsl:call-template name="makeMoogleResultURL" /></xsl:with-param>
+ </xsl:call-template>
+</xsl:variable>
+
 <xsl:template match="/">
- <xsl:copy-of select="document(concat($searchengineURL,$action,'?expression=',$quoted_expression,'&amp;advanced=',$advanced,'&amp;choices=',$quoted_choices,'&amp;interpretation_choices=',$interp,$param_constraints,'&amp;url=',$quoted_url,'&amp;preprocess=true'))"/> 
+ <xsl:copy-of select="document(concat($searchengineURL,$action,'?expression=',$quoted_expression,'&amp;advanced=',$advanced,'&amp;choices=',$quoted_choices,'&amp;interpretation_choices=',$interp,$param_constraints,'&amp;url=',$quoted_url,'&amp;preprocess=true','&amp;page=',$page,'&amp;this=',$this,'&amp;interp=',$interp))"/> 
 </xsl:template>
 
 </xsl:stylesheet> 
index a5acc094d58bc39c0c8f118cf17502bb24ad4164..23b12a1e9b5294635252160db1649947a1a32570 100644 (file)
@@ -8,12 +8,12 @@
 
 <xsl:output
        method="html"
-       encoding="ISO-8859-1"
+       encoding="utf8"
        media-type="text/html" />
 <!--
 <xsl:output
         method="xml"
-        encoding="iso-8859-1"
+        encoding="utf8"
         media-type="text/xml"
         doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
         doctype-system="DTD/xhtml1-transitional.dtd" />
index 88650a5a73066ccd0912ee0cfe4e97d77b8a0224..4acd249d67f0026abba8dbc81c1ca07921474e2b 100644 (file)
     <xsl:when test="contains($path, '/')">
       <xsl:variable name="segment" select="substring-before($path,'/')" />
       <xsl:variable name="newacc" select="concat($acc, $segment, '/')" />
-      <html:a style="text-decoration: none"
+      <a style="text-decoration: none"
        href="{$newacc}" helm:helm_link="href">
        <xsl:value-of select="$segment" />
-      </html:a>
+      </a>
       <xsl:text>/</xsl:text>
       <xsl:call-template name="breadcrumb_trail">
        <xsl:with-param name="path" select="substring-after($path,'/')" />
 <xsl:template name="add_breadcrumb_trail">
   <xsl:param name="CICURI" select="''"/>
   <xsl:variable name="prefix" select="substring-before($CICURI, ':')" />
-  <html:table width="100%"><xsl:text>
+  <table width="100%"><xsl:text>
     </xsl:text>
-    <html:tr><xsl:text>
+    <tr><xsl:text>
       </xsl:text>
-      <html:td><xsl:text>
+      <td><xsl:text>
        </xsl:text>
-       <html:span
+       <span
          style="font-family: sans-serif; font-weight: bold; font-size: 120%">
-         <html:a style="text-decoration: none"
+         <a style="text-decoration: none"
            href="{concat($prefix, ':/')}" helm:helm_link="href">
            <xsl:value-of select="concat($prefix, ':')" />
-         </html:a>
+         </a>
          <xsl:text>/</xsl:text>
          <xsl:call-template name="breadcrumb_trail">
            <xsl:with-param name="path" 
              select="substring($CICURI, string-length($prefix)+3)" />
            <xsl:with-param name="acc" select="concat($prefix, ':/')" />
          </xsl:call-template>
-       </html:span><xsl:text>
+       </span><xsl:text>
       </xsl:text>
-      </html:td><xsl:text>
+      </td><xsl:text>
       </xsl:text>
-      <html:td style="text-align:right"><xsl:text>
+      <td style="text-align:right"><xsl:text>
        </xsl:text>
-       <html:span style="font-family:sans-serif">
+       <span style="font-family:sans-serif">
          <xsl:variable name="searchLinkURL">
            <xsl:call-template name="makeSearchLinkURL" />
          </xsl:variable>
-         [<html:a href="{$searchLinkURL}" target="_top">search</html:a>]
-       </html:span><xsl:text>
+         [<a href="{$searchLinkURL}" target="_top">search</a>]
+       </span><xsl:text>
       </xsl:text>
-      </html:td><xsl:text>
+      </td><xsl:text>
     </xsl:text>
-    </html:tr>
-  </html:table><xsl:text>
+    </tr>
+  </table><xsl:text>
   </xsl:text>
-  <html:hr />
+  <hr />
 </xsl:template>
 
 </xsl:stylesheet>