From: Claudio Sacerdoti Coen Date: Thu, 27 May 2004 17:27:52 +0000 (+0000) Subject: New HELM interface almost stable. X-Git-Tag: pre_subst_in_kernel~67 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aacc5f566b60763bede71263cb9441b5b2fb04a1;p=helm.git New HELM interface almost stable. --- diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 3dc908db5..d22499a40 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -12,6 +12,7 @@ td.back { background-color: #e6e6fa; color: brown } ul.control { padding-left: 1em; list-style: none; } ul.control2 { font-size: small; padding-left: 2em; } div.center { text-align: center } +h2.uri { margin-top: 0ex; margin-bottom: 0ex } + + +
-

+

@@ -60,13 +78,12 @@ div.center { text-align: center } -->
  • - View [ + View - ]
  • + + + + + + + + +
    HELM Library Configuration
    + +
    +
    +When you are done with the changes, please do not forget to click on the Save button at the +bottom of the page. +
    + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    Profile
    +
    + +
    +     		+
    + + +
    +     		+ (changing the profile will update all the fields below) +
    UWOBO URL +
    +
    + +
    +     		+
    + +
    +     		+
    + +    + [UWOBO panel] +
    +
    Getter URL +
    +
    + +
    +     		+
    + +
    +     		+
    + +    + [Getter panel] +
    +
    URI-Set URL
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +
    Graph Drawer URL
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +
    Proof-Checker URL
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +
    RDFly URL
    +
    + +
    +     		+
    + +
    +     		+
    + +
    +
    +
    + + + + + + + + + +
    Natural language rendering +
    + +
    +
    Maximum size of dependency graph +
    + +
    +
    +
    + + + + + + + + + + + + + +
    Browser
    + Only new browsers support UNICODE, that is needed to render + mathematical documents. Some old browsers, though, can render + the most common symbols through the "symbol" font. +
    + To make us understand what kind of browser you have, please + select below the symbol for "not belongs to". If both options + do not show that symbol, then you will be only able to use + the MathML mode with an external plug-out for MathML presentation. +
    +
    + Where do you see the "not belongs to" symbol? + + Ï + + ∉ +
    +
    +
    + +
    +
    + + +
    +
    + + + + diff --git a/helm/on-line/html/folder/control.html b/helm/on-line/html/folder/control.html index 34a2f9523..a3d6c0fed 100644 --- a/helm/on-line/html/folder/control.html +++ b/helm/on-line/html/folder/control.html @@ -12,31 +12,44 @@ td.back { background-color: #e6e6fa; color: brown } #centered { text-align: center } li { padding-bottom: 1ex } div.center { text-align: center } +h2.uri { margin-top: 0ex; margin-bottom: 0ex } - - - +
    + + User: + +
    + [    HELM home] + + +
    +
    -

    +

    -
    -
    - HELM home -
    + + + + + + diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl index 45e88aa08..3cc6566ff 100644 --- a/helm/on-line/xslt/makeGraphLinks.xsl +++ b/helm/on-line/xslt/makeGraphLinks.xsl @@ -78,9 +78,9 @@
    - + - +
    Objects this one depends on.
    Objects this one depends on.
    Render this object.
    Objects depending on this one.
    Objects depending on this one.
    diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl index 27651899e..c2ad9e28c 100644 --- a/helm/on-line/xslt/resolve_topurl.xsl +++ b/helm/on-line/xslt/resolve_topurl.xsl @@ -144,6 +144,13 @@ + + + + + + + @@ -151,6 +158,14 @@ + + + + + + + + @@ -161,8 +176,7 @@ - - + @@ -176,8 +190,7 @@ - - + diff --git a/helm/on-line/xslt/substKey.xsl b/helm/on-line/xslt/substKey.xsl new file mode 100644 index 000000000..a5acc094d --- /dev/null +++ b/helm/on-line/xslt/substKey.xsl @@ -0,0 +1,94 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl index 4ed5731ca..f20862840 100644 --- a/helm/on-line/xslt/toplevel_header.xsl +++ b/helm/on-line/xslt/toplevel_header.xsl @@ -32,10 +32,14 @@ - - - - + + + + + + + @@ -46,15 +50,21 @@ select="substring($CICURI, string-length($prefix)+3)" /> - - - + + + + + + - Search - - + [search] + + + + - + +