From: Claudio Sacerdoti Coen Date: Fri, 28 May 2004 10:39:31 +0000 (+0000) Subject: No longer in use. X-Git-Tag: pre_subst_in_kernel~62 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=502cb2f14a675eeb66d7b909ce8df42db8044654;p=helm.git No longer in use. --- diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html deleted file mode 100644 index 183347a97..000000000 --- a/helm/on-line/html/control.html +++ /dev/null @@ -1,263 +0,0 @@ - - - -On-Line Library Configuration - - - - - - - - - - - - -
On-Line Library Configuration
- -
- -
-The on-line interface will use a -Getter to locate and -download documents and an -UWOBO to apply transformations -to them. - - -

- -Here you can choose the Getter and the UWOBO to use, providing valid URLs -to instances of them. - -

- -To control the behaviour of them, use the apposite -Getter panel -and -UWOBO panel. - -

- - - - - - - - - - -
UWOBO URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
Getter URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
URI-Set URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
Graph Drawer URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
Proof-Checker URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - - - - - -
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/index.html b/helm/on-line/html/index.html deleted file mode 100644 index caeebcf24..000000000 --- a/helm/on-line/html/index.html +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html deleted file mode 100644 index 50016dcea..000000000 --- a/helm/on-line/html/library/control.html +++ /dev/null @@ -1,105 +0,0 @@ - - - - - -Control panel - - - - - - - - - - - - - - - - - - - -
- Format: - - - - - - -
- (do it also before attempting to take a link to the current page) - -
- - - -
-
- - - diff --git a/helm/on-line/html/library/header.html b/helm/on-line/html/library/header.html deleted file mode 100644 index a1dcbdab7..000000000 --- a/helm/on-line/html/library/header.html +++ /dev/null @@ -1,18 +0,0 @@ - - - -Control panel - - - - - - -
- Index of -
-
- - diff --git a/helm/on-line/html/library/index.html b/helm/on-line/html/library/index.html deleted file mode 100644 index a667aba28..000000000 --- a/helm/on-line/html/library/index.html +++ /dev/null @@ -1,81 +0,0 @@ - - - - - - - - - -Index - - - - diff --git a/helm/on-line/html/welcome.html b/helm/on-line/html/welcome.html deleted file mode 100644 index f6fbed438..000000000 --- a/helm/on-line/html/welcome.html +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl deleted file mode 100644 index 80d6946e5..000000000 --- a/helm/on-line/xslt/ls2html.xsl +++ /dev/null @@ -1,177 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [{$alt}] - - - - - - - - - - - - - - - - Index of <xsl:value-of select="$uri"/> - - - - - - - - - - - - - - -
-
- - - - - - - - - - - - - - - - - - - - - - - - - text.gif - generic.red.gif - - - - - [{@name}] - - - - - - - - - - - - - - - - - - - - - - - - - - - Statement - Definition - - - - - Proof term - - - - Proof tree - - - - - -