From: Ferruccio Guidi Date: Wed, 18 May 2016 15:59:51 +0000 (+0000) Subject: news for matita 0.99.3 X-Git-Tag: make_still_working~590 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=83cf6c88d2d0bd2c8af86ab7f95bf94c1ae59bc9;p=helm.git news for matita 0.99.3 --- diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml index d8a363c91..64fbacaa2 100644 --- a/helm/www/matita/news.shtml +++ b/helm/www/matita/news.shtml @@ -3,6 +3,9 @@
News