From: Claudio Sacerdoti Coen Date: Thu, 10 Jun 2004 10:12:46 +0000 (+0000) Subject: Uncommited changes committed. X-Git-Tag: pre_subst_in_kernel~35 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=69bc5e13a65c76bcda125c9f11ef51fc0343ae12;p=helm.git Uncommited changes committed. --- diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 126772343..8e6aeaf1f 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -24,6 +24,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex } var DirectRDFURL = ""; var getterURL = ""; var HTMLURL = ""; + var ProofTreeURL = ""; var InverseRDFURL = ""; var MathMLContentURL = ""; var MathMLPresentationURL = ""; @@ -59,7 +60,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }

@@ -86,6 +87,11 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex } document.write('MathML ]'); +
  • + +
  • diff --git a/helm/on-line/html/theory/index.html b/helm/on-line/html/theory/index.html index d64a5745a..711ad87ba 100644 --- a/helm/on-line/html/theory/index.html +++ b/helm/on-line/html/theory/index.html @@ -18,7 +18,7 @@ '¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI + '¶m.url=' + escape(url) + '&xmluri=' + escape(interfaceURL + 'html/theory/control.html') +'"/>'); - document.write(''); + document.write(''); document.write(''); ]]>