From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 May 2004 13:20:18 +0000 (+0000)
Subject: stylesheet L added to the metadata chain
X-Git-Tag: pre_subst_in_kernel~54
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=441f9a5912f0cd27da9540b3c82e70e0e4221982;p=helm.git

stylesheet L added to the metadata chain
---

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index d22499a40..f41168d28 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -87,7 +87,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
   </li>
   <li>
     <script>
-     var url = processorURL + "apply?keys=MC%2CRT&amp;xmluri=" +
+     var url = processorURL + "apply?keys=MC%2CRT%2CL&amp;xmluri=" +
          getterURL + "getxml%3Furi%3D" + CICURI +
          "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
          "&amp;param.CICURI=" + CICURI + "&amp;param.profile=" + profile +