]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/README
we start version 0.8.1 by replacing the abstract layer AST with a fragment of dual...
[helm.git] / helm / software / lambda-delta / README
index 2f2f894fcdaba5400ee7fcd2f960f57f441d283c..8a0f0d674b407d114dc660b7f324c319347ca99e 100644 (file)
@@ -1,4 +1,4 @@
-Helena 0.8.0 M
+Helena 0.8.1 M
 
 * type "make" or "make opt" to compile the native executable