]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/html/library/header.html
...
[helm.git] / helm / on-line / html / library / header.html
1 <!--
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
3 -->
4 <html xmlns:helm="http://www.cs.unibo.it/helm">
5 <head>
6 <title>Control panel</title>
7 </head>
8 <body bgcolor="#ffffff" text="#000000">
9 <table width="100%">
10 <tr>
11  <td width="50%">
12   <font size="+3" face="Helvetica,Arial,sans-serif"><b>Index of <helm:getParam name="uri"/></b></font>
13   <hr noshade="yes" align="left" width="80%"/>
14  </td>
15 </tr>
16 </table>
17 </body>
18 </html>