![The Crux [Crux Logo]](download/crux_32.png)
@@ -44,30 +43,33 @@
src="download/b5.png">
- 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
+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.
- - The permanent λδ URL is sheduled to become http://lambda_delta.info as soon as
-possible.
-
-
+ - The permanent λδ URL is sheduled to become http://lambda_delta.info on
+December 2012.
+
+
+
- April 2011. The
-specification of λδ version 2 is restarted in Matita 0.5.
-
- - Here is a page about the
-specification.
-
-
+specification of λδ version 2 and related topics is restarted in Matita 0.5.
+
+ - Here is a page about the
+topics related to the specification (Applications).
+ - Here is a page about the
+specification (Core).
+
+
@@ -111,26 +105,31 @@ This site is online.
+
+ - May 2008. The
+specification of λδ version 1 is closed.
- March 2008. The
-specification of λδ version 2 in Coq 7.3.1 begins:
+specification of λδ version 2 is started with Coq 7.3.1 (false start).
+
+-->
+
Visibility ![Butterfly [Butterfly]](download/b4.png)
- - November 2010.
-The Google
-search formal system lambda delta
-gives 8 resources about λδ as the first results.
+ - February 2012. The Google search for formal system lambda delta gives
+5 resources about λδ in the first 6 results.
- - November 2010.
-The Yahoo
-search formal system lambda delta
-gives 4 resources and 2 sub-resources about λδ as the first results.
+ - February 2012. The Yahoo search formal system lambda delta gives
+this site as the first result.
@@ -238,17 +239,20 @@ gives 4 resources and 2 sub-resources about λδ as the first results.
-Last update 2011-10-03 by
Ferruccio
+Last update 2012-11-20 by Ferruccio
+
Guidi