X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=4c167d1801f96273e725b160d5007bbb9fa1ff03;hb=8e65e5eb59904848a24506ffe55323fdcc8bf975;hp=752e0b66b2091d90e1361b083e3e19bb0d5c6643;hpb=375bd212e04283a955d1e4adfe81f650ba07e8e9;p=helm.git
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 752e0b66b..4c167d180 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -12,7 +12,7 @@
Releases
- The current version is 0.5.5, released on November 17, 2008. Here the
+ The current version is 0.5.6, released on December 1, 2008. Here the
ChangeLog.
@@ -21,9 +21,9 @@
- - The live CD (around 330
+
- The live CD (around 330
MB, md5sum:
-60c746b5e2bbb8a3c3153d726285bc6a
+d04a305e04f75b37916f0c1ab50d4057
)
is the easiest way to try Matita. You can burn the CD image
and boot you computer from the CD, or install a free emulator like Sources
- You can download the sources of Matita (around 2 MB, md5sum:
-e22f3c313f3291400f2912cc24eaa591
+ href="FILES/matita_0.5.6.orig.tar.gz">sources
of Matita (around 2 MB, md5sum:
+8f8d9009f07205c2da239b7a1506bfd9
)
and
build it by yourself, following the installation instructions.
+ href="docs/manual/html/sec_install.html">installation instructions.
The build process, due to the high number of external dependency is not
trivial, we thus suggest you to try the live CD or the .deb package
first.