X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=README;fp=README;h=4aad3fc690e36bf1aabf2bf0426e09684fde9867;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=0000000000000000000000000000000000000000;hpb=ede00573e3e4cb28df7ca9a5dae6228c2b432608;p=helm.git

diff --git a/README b/README
new file mode 100644
index 000000000..4aad3fc69
--- /dev/null
+++ b/README
@@ -0,0 +1,3 @@
+matita : current version: 0.99.3
+matitaB: new     version: 0.5.8
+helm   : old     version: 0.5.8  with additional material