the source code of matita 0.99.3 is online

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 34565a11bbcb2016b8bea491be073c19f8b00ac5..da2cd3f91d17401078958b7b92c99fe114cf8dbb 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -12,15 +12,14 @@
 
       <h2>Release<a name="testingreleases"></a></h2>
       <p>
 
       <h2>Release<a name="testingreleases"></a></h2>
       <p>

-      The most recent version of Matita (0.99.1) is available as a LiveCD, or by
+      The most recent version of Matita (0.99.3) is available as a LiveCD, or by

       downloading the source code.
       </p>
       <dl>
         <dt>Live DVD</dt>
 
       downloading the source code.
       </p>
       <dl>
         <dt>Live DVD</dt>
 

-        <!--

         <dd>Coming soon</dd>
         <dd>Coming soon</dd>

-        -->
+<!--      

         <dd>The <a href="FILES/matita-0.99.1.iso">live DVD</a> (around 900
         MB, md5sum: 1f3af2eb8952fe19853bad88816cdff5) 
         is the easiest way to try Matita. You can burn the ISO image to a DVD
         <dd>The <a href="FILES/matita-0.99.1.iso">live DVD</a> (around 900
         MB, md5sum: 1f3af2eb8952fe19853bad88816cdff5) 
         is the easiest way to try Matita. You can burn the ISO image to a DVD


@@ -30,22 +29,64 @@
         Windows and Linux. A short guide to VirtualBox is part of the 
         <a href="docs/manual/html">Matita manual</a><br/>
         </dd>
         Windows and Linux. A short guide to VirtualBox is part of the 
         <a href="docs/manual/html">Matita manual</a><br/>
         </dd>

-
+-->

         <dt>Sources</dt>
         
         <dt>Sources</dt>
         

-        <dd>You can download the <a
-         href="sources/matita_130312.tar.gz">sources</a> of Matita (released on
-       March 13th, 2012; around
-       10 MB, md5sum: 2ac55c06dd789fd38c13a0e0cc10bb3c)
-        and
-        build it by yourself, following the <a
-          href="docs/manual/html/sec_install.html">installation instructions</a>.
+        <dd>You can download the
+        <a href="sources/matita_180516.tar.gz">sources</a> of Matita
+        (released on May 18, 2016; around 3 MB;
+        md5sum: 672fb18f75c3e89c884f8a96298ed25f)
+        and build it by yourself, following the
+        <a href="docs/manual/html/sec_install.html">installation instructions</a>.

         The build process, due to the high number of external dependency is not
        trivial, we thus suggest that you try the live DVD instead.</dd> 
       </dl>
 
       <h2>Old releases (unsupported, but still used for teaching at the University of Bologna)<a name="releases"></a></h2>
       <p>
         The build process, due to the high number of external dependency is not
        trivial, we thus suggest that you try the live DVD instead.</dd> 
       </dl>
 
       <h2>Old releases (unsupported, but still used for teaching at the University of Bologna)<a name="releases"></a></h2>
       <p>

+<!--
+      Version is 0.99.2, released on February 21, 2015.
+      </p>
+      <dl>
+        <dt>Sources</dt>
+        
+        <dd>You can download the <a
+         href="sources/matita_210215.tar.gz">sources</a> of Matita
+          (around 11 MB, md5sum: c59d4dec4e70b864a7dd31042b397016)
+          and build it by yourself, following the <a
+          href="docs/manual/html/sec_install.html">installation instructions</a>.
+          The build process, due to the high number of external dependency is not
+         trivial, we thus suggest that you try the live DVD instead.</dd> 
+      </dl>
+      </p>
+-->
+      Version is 0.99.1, released on March 13, 2012.
+      </p>
+      <dl>
+        <dt>Live DVD</dt>
+
+        <dd>The <a href="FILES/matita-0.99.1.iso">live DVD</a> (around 900
+        MB, md5sum: 1f3af2eb8952fe19853bad88816cdff5) 
+        is the easiest way to try Matita. You can burn the ISO image to a DVD
+        and boot you computer from it, or install a free emulator like <a
+          href="http://virtualbox.org">virtualbox</a> and boot a virtual
+        machine from the ISO image. Virtualbox is available for Mac OS X,
+        Windows and Linux. A short guide to VirtualBox is part of the 
+        <a href="docs/manual/html">Matita manual</a><br/>
+        </dd>
+
+        <dt>Sources</dt>
+        
+        <dd>You can download the <a
+         href="sources/matita_130312.tar.gz">sources</a> of Matita
+          (around 10 MB, md5sum: 2ac55c06dd789fd38c13a0e0cc10bb3c)
+          and build it by yourself, following the <a
+          href="docs/manual/html/sec_install.html">installation instructions</a>.
+          The build process, due to the high number of external dependency is not
+         trivial, we thus suggest that you try the live DVD instead.</dd> 
+      </dl>
+      
+      <p>

       Version is 0.5.9, released on December 23, 2014.
       It is an update of version 0.5.8 to compile with the latter OCaml version
       and libraries.
       Version is 0.5.9, released on December 23, 2014.
       It is an update of version 0.5.8 to compile with the latter OCaml version
       and libraries.