December 2015.
@@ -136,7 +143,7 @@
February 2015."Helena 0.8.2" is updated.
-
+
The translated specification of Landau's "Grundlagen der Analysis"
is validated in CC by Coq 8.4.3.
@@ -155,7 +162,7 @@
December 2014."Helena 0.8.2" is released.
-
+
The corrected specification of Landau's "Grundlagen der Analysis"
is validated in λδ version 3.
@@ -186,13 +193,13 @@
December 2012.
The character "_" is removed from the denomination "lambda_delta":
-
+
The denomination "\lambda\delta" is used in λδ-related texts.
-
+
The denomination "lambdadelta" is used in λδ-related identifiers.
-
+
Permanent λδ URL acquired:
http://lambdadelta.info/
(pointing at this site).
@@ -205,15 +212,15 @@
September 2011.
The denomination "lambda-delta" changes to "lambda_delta":
-
+
The character "-" is reserved in λδ textual syntax
(recognized by "Helena 0.8.1").
-
+
Eventually, the occurrences of the character "-"
will be replaced by "_" in all λδ-related identifiers.
-
+
In particular, this refactoring involves file names and path names.
![[lambdadelta home]](http://lambdadelta.info/images/crux_32.png "lambdadelta home")
+ ![[Spacer]](http://lambdadelta.info/images/rainbow.png "lambdadelta rainbow rule")
+ ![[spacer]](http://lambdadelta.info/images/b3.png "lambdadelta butterfly")
+