]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/members-index.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / members-index.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
4
5 <html>
6  <head>
7   <title>Members Area</title>
8  </head>
9  <body>
10   <h1>Members Area</h1>
11
12   This page has restricted access, so that members of the project only
13   can access its content.
14
15   <h3>Summary</h3>
16
17   <ul>
18     <li><a href="#ml">Mailing Lists</a></li>
19     <li><a href="#proposal">The Proposal</a></li>
20     <li><a href="#contract">The Contract</a></li>
21     <li><a href="#minutes">Reports of the Meetings</a></li>
22   </ul>
23   
24   <hr/>
25
26   <h2><a name="ml">Mailing Lists</a></h2>
27
28   These are mailing list provided for discussion and development on
29   the MoWGLI project. Note that all mailing list administrativia <b>MUST</b>
30   be sent to a <b>*-request</b> address, <em>never</em> to the list itself.
31   For <b>mowgli-dev@cs.unibo.it</b>, for example, send mailing list
32   requests to <b>mowgli-dev-request@cs.unibo.it</b>. Mail sent to the
33   <b>*-request</b> address must have a command word in the subject
34   header. To get information about the mailing list, use the
35   <b>help</b> command (<a href="ml-help-example.txt">here</a> is an example of a possible
36   answer to a help request).
37
38   <dl>
39     <dt>
40       <b>mowgli-dev (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-dev">Info and Subscription</a>,
41       <a href="http://mowgli.cs.unibo.it/pipermail/mowgli-dev/">Archive</a>)</b>
42     </dt>
43     <dd>
44       General development issues of the project
45     </dd>
46     <dt>
47       <b>mowgli-adm (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-adm">Info and Subscription</a>,
48       <a href="http://mowgli.cs.unibo.it/pipermail/mowgli-adm/">Archive</a>)</b>
49     </dt>
50     <dd>
51       Administrative issues
52     </dd>
53   </dl>
54
55   <hr />
56
57   <h2><a name="proposal">The Proposal</a></h2>
58
59    <p>The proposal in <a href="../../misc/proposal/mowgli.ps">PostScript</a>
60       and <a href="../../misc/proposal/mowgli.pdf">PDF</a>. The
61       <a href="../../misc/proposal/proposal.tgz">proposal sources</a> (in
62       LaTeX) and the <a href="../../misc/proposal/MOWGLI.xls">Excel forms</a>
63       are also available.</p>
64
65   <hr />
66
67   <h2><a name="contract">The Contract</a></h2>
68
69    <p><a href="../../misc/contract/mowgli-ctr-final.pdf">The contract</a> in
70        PDF. See also
71       <a href="../../misc/contract/mowgli-an1-final.pdf">the first annex </a>
72       (that is just a copy of the proposal),
73       <a href="../../misc/contract/RTD-annex2-rtd-final.pdf">the second
74       annex</a>,
75       <a href="../../misc/contract/RTD-annex3-ist-fet.pdf">the third annex</a>,
76       <a href="../../misc/contract/RTD-audit-cert-annex4.pdf">the fourth
77       annex</a> and the
78       <a href="../../misc/contract/MOWGLIfinal-for-ceto.zip">Electra Sheet</a>
79       (compressed using winzip; to be opened using Excel).</p>
80
81   <hr />
82
83   <h2><a name="minutes">Reports of the Meetings</a></h2>
84
85   <p>Reports are available for the following meetings:</p>
86   <ul>
87    <li><a href="kick-off.html">The MOWGLI Kick-Off</a></li>
88   </ul>
89  </body>
90 </html>