]> 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 a720a669b5c9a3b6deef5de277b0dc7df0ac0988..05575dfa4365553dcce60adb3f564c6d065df44f 100644 (file)
       (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>
-      and
+      <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>.</p>
+      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 />