]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/members-index.xml
as usual forgot some files (mailing list, members' index)
[helm.git] / helm / mowgli / home / xml / members-index.xml
diff --git a/helm/mowgli/home/xml/members-index.xml b/helm/mowgli/home/xml/members-index.xml
new file mode 100644 (file)
index 0000000..b69081d
--- /dev/null
@@ -0,0 +1,39 @@
+<?xml version="1.0"?>
+
+<content title="Members Area">
+  <h1>Members Area</h1>
+
+  This page has restricted access, so that members of the project only
+  can access its content.
+
+  <h3>Summary</h3>
+
+  <ul>
+    <li><a href="#ml">Mailing Lists</a></li>
+  </ul>
+  
+  <hr/>
+
+  <h2><a name="ml">Mailing Lists</a></h2>
+
+  These are mailing list provided for discussion and development on
+  the MoWGLI project. Note that all mailing list administrativia <b>MUST</b>
+  be sent to a <b>*-request</b> address, <em>never</em> to the list itself.
+  For <b>mowgli-dev@cs.unibo.it</b>, for example, send mailing list
+  requests to <b>mowgli-dev-request@cs.unibo.it</b>. Mail sent to the
+  <b>*-request</b> address must have a command word in the subject
+  header. To get information about the mailing list, use the
+  <b>help</b> command (<a href="ml-help-example.txt">here</a> is an example of a possible
+  answer to a help request).
+
+  <dl>
+    <dt>
+      <b>mowgli-dev (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-dev">Info</a>,
+      Archive)</b>
+    </dt>
+    <dd>
+      General development issues of the project
+    </dd>
+  </dl>
+</content>
+