From: Claudio Sacerdoti Coen Date: Wed, 26 May 2004 17:54:36 +0000 (+0000) Subject: Major interface upgrade still going on. But we are approaching the end of the X-Git-Tag: pre_subst_in_kernel~75 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=44f27c5113259badb27d6a773c0b86e933056203;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/folder/control.html b/helm/on-line/html/folder/control.html new file mode 100644 index 000000000..34a2f9523 --- /dev/null +++ b/helm/on-line/html/folder/control.html @@ -0,0 +1,51 @@ + + + + + + + + + + + + + + + +
+ +

+ +
+
+
+ HELM home +
+ + + diff --git a/helm/on-line/html/folder/index.html b/helm/on-line/html/folder/index.html new file mode 100644 index 000000000..4c50442bd --- /dev/null +++ b/helm/on-line/html/folder/index.html @@ -0,0 +1,24 @@ + + + + <subst:CICURI/> + + + diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl index 210ab768b..5e221bd07 100644 --- a/helm/on-line/xslt/ls2theory.xsl +++ b/helm/on-line/xslt/ls2theory.xsl @@ -9,18 +9,23 @@ + @@ -34,8 +39,8 @@ -
  • - + @@ -44,11 +49,25 @@ -
  • - - - -
    • + + +
  • + + + +
    • +     + +
  • + + + +
    • +     +     diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl index a22213a2e..deca927a1 100644 --- a/helm/on-line/xslt/toplevel_header.xsl +++ b/helm/on-line/xslt/toplevel_header.xsl @@ -34,7 +34,7 @@ - + @@ -48,6 +48,12 @@ + + + Search + + + diff --git a/helm/on-line/xslt/xslt_index.txt b/helm/on-line/xslt/xslt_index.txt index 7d1abeb38..3b6246839 100644 --- a/helm/on-line/xslt/xslt_index.txt +++ b/helm/on-line/xslt/xslt_index.txt @@ -5,5 +5,6 @@ makeGraphLinks.xsl metadataControl.xsl metadataLib.xsl resolve_topurl.xsl +substKey.xsl toplevel_header.xsl utils.xsl