parameter sintax added to axiom statement

[helm.git] / README

diff --git a/README b/README
new file mode 100644 (file)
index 0000000..4aad3fc
--- /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