X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=e3d13c5eebeadb1483471530e82a7a9e6bc83def;hb=e305a62a7cb0a49fea3d241474e4c5bcd40e7272;hp=eb74a15605abb178c487c5b23db90eba7caefbfe;hpb=0a5a2f3cf0e3f748feb5beaad413181163504509;p=helm.git
diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index eb74a1560..e3d13c5ee 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -42,6 +42,32 @@
News ![Butterfly [Butterfly]](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
+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.
href="implementation.html#helena">λδ, is
available
-as a
-part of the HELM software.
+as
+a
+part
+of
+the
+ HELM software.
@@ -98,10 +128,9 @@ pages of the specification of λδ in Matita 0.5 are online.
- - 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.
style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
src="download/b4.png">
- - 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.
style="border: 0px solid ; width: 88px; height: 31px;">
![PNG Used Here [PNG Used Here]](http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png)
+ title="PNG Used Here" src="download/PNGnow2.png">
-Last update 2010-12-14 by Ferruccio
+Last update 2011-10-03 by Ferruccio
Guidi