]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/menu.xml
Tactic update
[helm.git] / helm / mowgli / home / xml / menu.xml
1 <?xml version="1.0"?>
2 <!--
3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
4  "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
5 -->
6
7 <html xmlns="http://www.w3.org/1999/xhtml"
8       xmlns:mowgli="http://mowgli.cs.unibo.it/website">
9
10   <head>
11     <title>MoWGLI Menu</title>
12     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
13     <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
14   </head>
15
16   <body>
17
18   <table class="menuborder" width="100%" border="0" cellspacing="0" cellpadding="0">
19   <tr><td>
20   <table class="menusect" width="100%" border="0" cellspacing="1" cellpadding="3">
21   <tr>
22     <td class="menutitle">Project</td>
23   </tr>
24   <tr>
25     <td class="menuentries">
26       <table width="100%" border="0">
27       <tr><td><a class="menulink" target="content" href="home.html">Home</a></td></tr>
28       <tr><td><a class="menulink" target="content" href="consortium.html">Consortium</a></td></tr>
29       <tr><td><a class="menulink" target="content" href="people-list.html">People</a></td></tr>
30       <tr><td><a class="menulink" target="content" href="project.html">Project</a></td></tr>
31       <tr><td><a class="menulink" target="content" href="work-packages/index.html">Work Packages</a></td></tr>
32       <tr><td><a class="menulink" target="content" href="mowgli-events.html">MoWGLI Events</a></td></tr>
33       <tr><td><a class="menulink" target="content" href="other-events.html">Other Events</a></td></tr>
34       <tr><td><a class="menulink" target="content" href="news.html">News Archive</a></td></tr>
35       <tr><td><a class="menulink" target="content" href="members/index.html">Members Area</a></td></tr>
36       <tr><td><a class="menulink" target="content" href="publications/index.html">Publications</a></td></tr>
37       <tr><td><a class="menulink" target="content" href="software/index.html">Software</a> (<a class="menulink" target="content" href="software/index.html">CVS</a>)</td></tr>
38       </table>
39     </td>
40   </tr>
41   <tr>
42     <td class="menutitle">Related</td>
43   </tr>
44   <tr>
45     <td class="menuentries">
46       <table width="100%" border="0">
47       <tr><td><a class="menulink" target="_top" href="http://www.cs.unibo.it/helm">HELM</a></td></tr>
48       <tr><td><a class="menulink" target="_top" href="http://www.activemath.org">ActiveMath</a></td></tr>
49       <tr><td><a class="menulink" target="_top" href="http://www.w3.org/Math">MathML</a></td></tr>
50       <tr><td><a class="menulink" target="_top" href="http://www.openmath.org">OpenMath</a></td></tr>
51       <tr><td><a class="menulink" target="_top" href="http://www.mathweb.org/omdoc/index.html">OMDoc</a></td></tr>
52       <tr><td><a class="menulink" target="content" href="publications/index.html#related">Bibliography</a></td></tr>
53       </table>
54     </td>
55   </tr>
56   <!--
57   <tr>
58     <td class="menutitle">Technologies</td>
59   </tr>
60   <tr>
61     <td class="menuentries">
62       <table width="100%" border="0">
63       <tr><td>
64         <a class="menulink" target="_top" href="">SGML</a>,
65         <a class="menulink" target="_top" href="">HTML</a>,
66         <a class="menulink" target="_top" href="">CSS</a>
67       </td></tr>
68       <tr><td>
69         <a class="menulink" target="_top" href="">XML</a>,
70         <a class="menulink" target="_top" href="">XSL</a>,
71         <a class="menulink" target="_top" href="">MathML</a>,
72         <a class="menulink" target="_top" href="">SVG</a>
73       </td></tr>
74       <tr><td><a class="menulink" target="_top" href="">DOM</a></td></tr>
75       </table>
76     </td>
77   </tr>
78   -->
79
80   <tr><td class="menutitle">Contact</td></tr>
81
82   <tr>
83     <td class="menuentries">
84       <table width="100%" border="0">
85         <tr>
86           <td><div class="small">Project Leader:</div></td>
87         </tr>
88         <tr>
89           <td><div class="small"><a href="people/bologna/asperti.html" target="content">Prof. Andrea Asperti</a></div></td>
90         </tr>
91         <tr>
92           <td><div class="small">Webmaster:</div></td>
93         </tr>
94         <tr>
95           <td><div class="small"><a href="mailto:mowgli-webmaster@cs.unibo.it">mowgli-webmaster@cs.unibo.it</a></div></td>
96         </tr>
97       </table>
98     </td>
99   </tr>
100   </table>
101   </td></tr>
102   </table>
103
104   <div class="center">
105     <div class="small">
106       <mowgli:change-frame-settings/>
107     </div>
108   </div>
109
110   </body>
111
112 </html>