###############################################################

[helm.git] / helm / on-line / html / theory / control.html
diff --git a/helm/on-line/html/theory/control.html b/helm/on-line/html/theory/control.html

index d399941914ad0ab383bc9f70007143785f3f9acc..7d5f6c13b9a3578bc6490af771e64b4e705c4ae9 100644 (file)
--- a/helm/on-line/html/theory/control.html
+++ b/helm/on-line/html/theory/control.html
@@ -1,7 +1,8 @@
-<html>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
+"http://www.w3.org/TR/REC-html40/loose.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
  
  <head>
-<title>???</title>
  
  <style type="text/css">
  #normal { background-color: #e6e6fa; font-family: sans-serif }
@@ -9,6 +10,8 @@ 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 }
  </style>
  
  <script language="JavaScript" src="../../javascript/defaults.js"></script>
@@ -18,25 +21,24 @@ td.back { background-color: #e6e6fa; color: brown }
  </head>
  
  <body id="normal">
- <h1>Theory: 
-  &quot;<script>document.write(extractParam(unescape(getParam('url')),'param.CICURI'))</script>&quot;
- &nbsp;&nbsp;&nbsp;<font size="+1">[Annotations have no meaning for theories, yet]</font>
- </h1>
- <table>
+ <h2><subst:base_CICURI/></h2>
+ <ul>
+   <li>
+     <script>
+       var url = "<subst:url/>";
+       document.write('<a href="' + url + '" target="_blank">Open theory in new window</a>');
+     </script>
+   </li>
+ </ul>
+<!--
    <tr>
-   <td>
-    View its metadata
-   </td>
+   <td> View its metadata </td>
     <td>(Not implemented, yet. Coming soon.)</td>
    </tr>
    <tr>
-   <td>
-    Proof-check it
-   </td>
-   <td>
-    (Not ported to V7, yet. Coming soon.)
-   </td>
+   <td> Proof-check it </td>
+   <td> (Not ported to V7, yet. Coming soon.) </td>
    </tr>
- </table>
+-->
  </body>
  </html>