]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/cic/control.html
stylesheet L added to the metadata chain
[helm.git] / helm / on-line / html / cic / control.html
index d22499a4078c75f1506793299d2a8cd681f60758..f41168d2836ee9350511555fe5f93b66210fb069 100644 (file)
@@ -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 +