<html>
- <head>
- <title>Matita home page - download</title>
- </head>
- <style>
- </style>
-
- <body>
- <font size="-1" face="Arial, Helvetica, sans-serif">
-
- <br></br>
-
- <table align=center width=95% cellpadding=4>
- <tr>
- <td bgcolor="green">
-
- <!-- Matita Header -->
- <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
- <tr>
- <td align=center>
- <a href=index.html>Matita Home</a>
- </td>
-
- <td align=center>
- <a href=developers.html>Developers</a>
- </td>
-
- <td align=center>
- <a href=documentation.html>Documentation</a>
- </td>
-
- <td align=center>
- <a href=community.html>Community</a>
- </td>
-
- <td align=center>
- <a href=download.html>Download</a>
- </td>
- </tr>
- </table>
- </td>
- </tr>
-
- <tr>
- <td>
- Since there is no official release, you can browse the svn
- repository and get sources of the <a href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a> and
- <a href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a> modules.
- <br>
- </td>
- </tr>
-
- </table>
-
- </font>
+<head>
+ <title>Matita home page - download</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+</head>
+<body>
+ <div class="upmenu">
+ <a class="upmenu" href=index.html>Matita Home</a>
+ <a class="upmenu" href=developers.html>Developers</a>
+ <a class="upmenu" href=documentation.html>Documentation</a>
+ <a class="upmenu" href=community.html>Community</a>
+ <a class="upmenu" href=download.html>Download</a>
+ </div>
+ <h1><span class="h1">Sources</span></h1>
+ <p>
+ Since there is no official release, you can browse the svn repository
+ and get sources of the <a
+ href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
+ and <a
+ href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
+ modules.
+ </p>
</body>
</html>
projects / helm.git / blobdiff