From: Claudio Sacerdoti Coen Date: Wed, 26 May 2004 17:51:38 +0000 (+0000) Subject: Major interface upgrade still going on. But we are approaching the end of X-Git-Tag: pre_subst_in_kernel~77 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=92c3ae6c6161188f89cf78ae1e714985eb985fce;p=helm.git Major interface upgrade still going on. But we are approaching the end of the tunnel. --- diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 1868818b7..3dc908db5 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -25,6 +25,7 @@ div.center { text-align: center } var InverseRDFURL = ""; var MathMLContentURL = ""; var MathMLPresentationURL = ""; + var interfaceURL = ""; var mkDirDepURL = ""; var mkInvDepURL = ""; var mkInvRecDepURL = ""; @@ -38,8 +39,10 @@ div.center { text-align: center }
- - +

@@ -160,7 +163,7 @@ div.center { text-align: center }
- HELM home + HELM home
diff --git a/helm/on-line/html/theory/control.html b/helm/on-line/html/theory/control.html index 637c563da..ffc2e82d2 100644 --- a/helm/on-line/html/theory/control.html +++ b/helm/on-line/html/theory/control.html @@ -17,17 +17,25 @@ div.center { text-align: center } +
- +

+
- HELM home + HELM home