]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/members-index.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / members-index.xml
index f54a4a26d28d0ae1266e3e481ca9bff059e457ba..05575dfa4365553dcce60adb3f564c6d065df44f 100644 (file)
@@ -1,7 +1,6 @@
 <?xml version="1.0"?>
 
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-               "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 
 <html>
  <head>
@@ -17,7 +16,9 @@
 
   <ul>
     <li><a href="#ml">Mailing Lists</a></li>
+    <li><a href="#proposal">The Proposal</a></li>
     <li><a href="#contract">The Contract</a></li>
+    <li><a href="#minutes">Reports of the Meetings</a></li>
   </ul>
   
   <hr/>
 
   <dl>
     <dt>
-      <b>mowgli-dev (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-dev">Info</a>,
+      <b>mowgli-dev (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-dev">Info and Subscription</a>,
       <a href="http://mowgli.cs.unibo.it/pipermail/mowgli-dev/">Archive</a>)</b>
     </dt>
     <dd>
       General development issues of the project
     </dd>
+    <dt>
+      <b>mowgli-adm (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-adm">Info and Subscription</a>,
+      <a href="http://mowgli.cs.unibo.it/pipermail/mowgli-adm/">Archive</a>)</b>
+    </dt>
+    <dd>
+      Administrative issues
+    </dd>
   </dl>
 
   <hr />
 
-  <h2><a name="contract">The Contract</a></h2>
+  <h2><a name="proposal">The Proposal</a></h2>
 
-   <p>The contract in <a href="contract/mowgli.ps">PostScript</a>
-      and <a href="contract/mowgli.pdf">PDF</a>. The
-      <a href="contract/contract.tgz">contract sources</a> (in
-      LaTeX) and the <a href="contract/MOWGLI.xls">Excel forms</a>
+   <p>The proposal in <a href="../../misc/proposal/mowgli.ps">PostScript</a>
+      and <a href="../../misc/proposal/mowgli.pdf">PDF</a>. The
+      <a href="../../misc/proposal/proposal.tgz">proposal sources</a> (in
+      LaTeX) and the <a href="../../misc/proposal/MOWGLI.xls">Excel forms</a>
       are also available.</p>
+
+  <hr />
+
+  <h2><a name="contract">The Contract</a></h2>
+
+   <p><a href="../../misc/contract/mowgli-ctr-final.pdf">The contract</a> in
+       PDF. See also
+      <a href="../../misc/contract/mowgli-an1-final.pdf">the first annex </a>
+      (that is just a copy of the proposal),
+      <a href="../../misc/contract/RTD-annex2-rtd-final.pdf">the second
+      annex</a>,
+      <a href="../../misc/contract/RTD-annex3-ist-fet.pdf">the third annex</a>,
+      <a href="../../misc/contract/RTD-audit-cert-annex4.pdf">the fourth
+      annex</a> and the
+      <a href="../../misc/contract/MOWGLIfinal-for-ceto.zip">Electra Sheet</a>
+      (compressed using winzip; to be opened using Excel).</p>
+
+  <hr />
+
+  <h2><a name="minutes">Reports of the Meetings</a></h2>
+
+  <p>Reports are available for the following meetings:</p>
+  <ul>
+   <li><a href="kick-off.html">The MOWGLI Kick-Off</a></li>
+  </ul>
  </body>
 </html>