]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/templates/index.html
Several bug-fixes:
[helm.git] / helm / mowgli / home / templates / index.html
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
2      "http://www.w3.org/TR/html4/frameset.dtd">
3
4 <html>
5
6   <head>
7
8   <title>MoWGLI Home Page</title>
9
10   </head>
11
12   <frameset cols="200,*" border="0">
13     <frame name="menu" src="menu.html">
14     <frame name="content" src="home.html" marginwidth="30">
15   </frameset>
16
17 </html>