From: Claudio Sacerdoti Coen Date: Thu, 27 Dec 2018 12:52:04 +0000 (+0100) Subject: version upgrade X-Git-Tag: make_still_working~229^2~7 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a9850517820569525e0fe4c5b5c325e446cd2e6d;p=helm.git version upgrade --- diff --git a/README b/README index 4aad3fc69..4d1a6c03b 100644 --- a/README +++ b/README @@ -1,3 +1,3 @@ -matita : current version: 0.99.3 +matita : current version: 0.99.4 matitaB: new version: 0.5.8 helm : old version: 0.5.8 with additional material