X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=e3d13c5eebeadb1483471530e82a7a9e6bc83def;hb=ef3bdc4be26f6518a82a79c64e986253f7aeaa3c;hp=fc6d4d244889fbf4c50b0a9eb961a0ea62f32b50;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git
diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index fc6d4d244..e3d13c5ee 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -2,9 +2,9 @@
lambda-delta home page
+ lambda_delta home page
The Formal System λδ (lambda-delta)The Formal System λδ (lambda_delta)
Towards the unification of terms, types, environments and contexts
+ 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.
+ 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.
+
December 2010.
Permanent λδ URL acquired: http://lambda-delta.info
@@ -67,8 +93,12 @@ started.HELM software. HELM software.
- March 2008. An
-improvement of the
-specification of λδ in Coq 7.3.1 begins:
-
+ March 2008. The
+specification of λδ version 2 begins in Coq 7.3.1 (false start).
+
September 2007.
@@ -197,15 +218,15 @@ Coq 7.3.1 begins.
- November 2010. The Google
+ November 2010.
+The Google
search formal system lambda delta
gives 8 resources about λδ as the first results.
- November 2010. The Yahoo
+ November 2010.
+The Yahoo
search formal system lambda delta
gives 4 resources and 2 sub-resources about λδ as the first results.
@@ -221,13 +242,12 @@ gives 4 resources and 2 sub-resources about λδ as the first results.Ferruccio
+Last update 2011-10-03 by Ferruccio
Guidi ![[Crux Logo]](download/crux_32.png "The Crux")
![[Butterfly]](download/b5.png "Butterfly")
+ ![[Use Any Browser Here]](http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png "Use Any Browser Here")
![[PNG Used Here]](http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png "PNG Used Here")