+
![[Crux Logo]](download/crux_32.png "The Crux")
@@ -44,33 +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 The permanent λδ URL is sheduled to become http://lambda_delta.info on
December 2012.
-
-
+
-
-
- April 2011. The specification of λδ version 2 and related topics is restarted in Matita 0.5. - + href="http://matita.cs.unibo.it/">Matita 0.5. + +
- December 2010.
@@ -86,22 +85,15 @@ Permanent λδ URL acquired: http://lambda-de
- September 2009. Helena 0.8.0 is released and the λδ Digital Library is
-started.
+ href="implementation.html#lddl">λδ Digital Library
- September 2009. Helena 0.8.0 is released and the λδ Digital Library is
-started.
- June 2009. Helena, a validator for λδ version 2, is
-available
-as
-a
-part
-of
-the
-
- HELM software.
+available as a part of the HELM +software.
- July 2008. First journal paper on λδ accepted + href="documentation.html#ldp5">First journal paper on λδ accepted for publication.
- July 2008. First procedural
-reconstruction for Matita 0.5
-of the λδ proof scripts for
-Coq 7.3.1.
+ href="http://helm.cs.unibo.it/procedural/">procedural reconstruction +for Matita 0.5 of the λδ proof scripts for Coq 7.3.1.
- June 2008. The HTML
-pages of the specification of λδ version 1 for Matita 0.5 are
-online.
+ href="implementation.html#static">HTML pages of the specification of +λδ version 1 for Matita 0.5 are online.
+
+
-
+
- May 2008. The
+specification of λδ version 1 is closed.
- March 2008. The -specification of λδ version 2 is started with Coq 7.3.1 (false start). +specification of λδ version 2 is started with Coq 7.3.1 (false start). +
-
+
- September 2007. The + specification of λδ +version 1 for Matita 0.4 is online.
-
-
- September 2007.
-The specification of λδ version
-1 for
-Matita 0.4 is online.
-
+ - November 2006. λδ version 1 is released.
- December 2005. First communication on λδ.
+ href="documentation.html#ldt1">First communication on λδ.
- May 2004. The specification of λδ version 1 is
+ href="implementation.html#ldp1">specification of λδ version 1 is
started with Coq 7.3.1.
style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly" src="download/b4.png">
-
-
- February 2012.
-The Google
-search for formal system lambda
-delta
-gives 5 resources about λδ in the first 6 results.
+ - February 2012. The Google search for formal system lambda delta gives
+5 resources about λδ in the first 6 results.
-
-
- February 2012. -The Yahoo -search formal system lambda delta -gives this site as the first result. +
- February 2012. The Yahoo search formal system lambda delta gives +this site as the first result.
![[Use Any Browser Here]](download/globe_trans.png "Use Any Browser Here")
![[PNG Used Here]](download/PNGnow2.png "PNG Used Here")
-Last update 2012-02-24 by Ferruccio +Last update 2012-11-20 by Ferruccio + Guidi