X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fnews.html;h=10db43f73ba042fdfb6359eeaccb80922c185dfe;hb=08db2212621969b85852de3bd0677149135df0fe;hp=388833406f88cf87fd5b854ad84b8e7781fa3a22;hpb=5924405e7f361a8b2bf638e6a361f7f16cdc7ac2;p=helm.git
diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index 388833406..10db43f73 100644
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.html
@@ -45,11 +45,11 @@
- September 2011.
The
- denomination "lambda-delta" changes to "lambda_delta".
+ denomination "lambda-delta" changes to "lambda_delta".
- The character "-" is reserved in λδ textual syntax
(recognized by Helena
- 0.8.1).
+ 0.8.1).
- Eventually, the occurrences of the character "-"
will be
@@ -62,23 +62,23 @@
on
December 2012.
-
+
- April 2011.
The
specification of λδ version 2 and related topics is
restarted in Matita
- 0.5.
-
- - Here is a page about
+ 0.5.
+
+ - Here is a page about
the
topics related to the specification (Applications).
- - Here is a page about
+
- Here is a page about
the
- specification (Core).
+ specification (Core).
-
+
- December 2010.
@@ -279,7 +279,7 @@ relocation functions: s,
- Last update 2012-02-24 by Ferruccio
Guidi