From: Claudio Sacerdoti Coen Date: Wed, 26 May 2004 14:53:30 +0000 (+0000) Subject: Major interface improvements. X-Git-Tag: pre_subst_in_kernel~83 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git Major interface improvements. --- diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index be00b755c..1868818b7 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -9,23 +9,45 @@ td.head { font-weight: bold; background-color: #e6e6fa; color: brown } td.back { background-color: #e6e6fa; color: brown } #indent { margin-left: 1cm; margin-right: 1cm } -#centered { text-align: center } -h2 { text-align: center } -li { padding-bottom: 1ex } +ul.control { padding-left: 1em; list-style: none; } +ul.control2 { font-size: small; padding-left: 2em; } +div.center { text-align: center } +

+ +

+ +

+

-

+ View [ + ]
+ Analyse dependencies +
- + +
- + +
- + +
- + +
+

Download +
- + +
- + +
- + +
- + +
+
+ Download metadata +
- + +
- + +
- + +
+

"; var url = ""; '); + document.write(''); document.write(' @@ -21,7 +21,15 @@ li { padding-bottom: 1ex } +

+

+

+

+

+ diff --git a/helm/on-line/html/theory/index.html b/helm/on-line/html/theory/index.html index 64dbeb3c9..5159f9830 100644 --- a/helm/on-line/html/theory/index.html +++ b/helm/on-line/html/theory/index.html @@ -12,7 +12,7 @@ var annotations = ""; var url = ""; '); + document.write(''); document.write(' -

- +

/ @@ -35,7 +44,7 @@ -

+

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl index 0d787d2d2..45e88aa08 100644 --- a/helm/on-line/xslt/makeGraphLinks.xsl +++ b/helm/on-line/xslt/makeGraphLinks.xsl @@ -54,7 +54,6 @@ var lastX, lastY; var selectedURI; var selectedCICURL; - var selectedTheoryURL; var selectedForwardURL; var selectedBackwardURL; @@ -81,7 +80,6 @@ -

Objects this one depends on.

Render this object.

Objects depending directly on this one.

Objects depending on this one.

@@ -107,16 +105,6 @@ - - - - - - - - - -

@@ -144,7 +132,7 @@

- lastX = getX(event); lastY = getY(event); selectedURI=''; selectedCICURL=''; selectedTheoryURL=''; selectedForwardURL=''; selectedBackwardURL=''; + lastX = getX(event); lastY = getY(event); selectedURI=''; selectedCICURL=''; selectedForwardURL=''; selectedBackwardURL=''; javascript:moveMenu(lastX,lastY); showMenu();

diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl index c893437b3..de3ed9890 100644 --- a/helm/on-line/xslt/metadataControl.xsl +++ b/helm/on-line/xslt/metadataControl.xsl @@ -13,31 +13,4 @@ - - - -

Metadata related to :

- - - - - - -

Metadata related to :

- - - - - - - - - - - - - - - - diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index bd9b84524..5ea90215e 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -37,14 +37,7 @@

-

Metadata of

- - -

@@ -52,69 +45,4 @@ - - - - - - - - - - - - - - - - -

- -

-

- - - - - - - - - View the graph of all the objects depending on this one. -

- - -

- Object is never referenced in other objects -

- - - - - -

- - - - - - - - - View the graph of all the dependencies of this object. -

- - -

- Object does not reference any other object -

- - - - diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl index 50fd991fc..27651899e 100644 --- a/helm/on-line/xslt/resolve_topurl.xsl +++ b/helm/on-line/xslt/resolve_topurl.xsl @@ -53,6 +53,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

@@ -109,6 +151,36 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl index 4dc5a88c6..a22213a2e 100644 --- a/helm/on-line/xslt/toplevel_header.xsl +++ b/helm/on-line/xslt/toplevel_header.xsl @@ -13,7 +13,8 @@ - +

/ @@ -30,19 +31,32 @@ - - - - - - / - - - - - + + + + + + + + / + + + + + + + + + theory:/ + + cic:/ + + + +