X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fnews.ldw.xml;h=3f1c9f893e136452c8b5a1d3bbf6d47e80cb62e8;hp=0bf2256247aadd65f0e1a195c3f4ef6371ca36e0;hb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba;hpb=9b1b59a049935f5382ed7def91b807bbf9453894
diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 0bf225624..3f1c9f893 100644
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -13,12 +13,12 @@
Milestones
- Second journal paper on λδ
+ Second journal paper on λδ
accepted for publication.
- "Helena 0.8.3" is released.
+ "Helena 0.8.3" is released.
@@ -36,7 +36,7 @@
- "Helena 0.8.2" is updated.
+ "Helena 0.8.2" is updated.
The translated specification of Landau's "Grundlagen der Analysis"
is validated in CC by Coq 8.4.3.
@@ -44,12 +44,12 @@
- The specification of λδ version 1
+ The specification of λδ version 1
is updated with backports from the abandoned specification of λδ version 2.
- "Helena 0.8.2" is released.
+ "Helena 0.8.2" is released.
The corrected specification of Landau's "Grundlagen der Analysis"
is validated in λδ version 3.
@@ -57,7 +57,7 @@
- λδ version 2A1
+ λδ version 2A1
is released.
@@ -66,7 +66,7 @@
- First communication on λδ version 2.
+ First communication on λδ version 2.
@@ -96,7 +96,7 @@
- The specification of λδ version 2
+ The specification of λδ version 2
and related topics is restarted in
Matita 0.5.
@@ -110,16 +110,16 @@
- "Helena 0.8.1" is released.
+ "Helena 0.8.1" is released.
- "Helena 0.8.0" is released and the
- λδ Digital Library is started.
+ "Helena 0.8.0" is released and the
+ λδ Digital Library is started.
- "Helena", a validator for λδ version 2,
+ "Helena", a validator for λδ version 2,
is available as a part of the HELM software.
@@ -128,7 +128,7 @@
- First journal paper on λδ
+ First journal paper on λδ
accepted for publication.
@@ -139,7 +139,7 @@
- The
+ The
HTML pages of the specification of λδ version 1 for Matita 0.5
are online.
@@ -153,22 +153,22 @@
- The
+ The
specification of λδ version 1 for Matita 0.4
is online.
- λδ version 1
+ λδ version 1
is released.
- First communication on λδ version 1.
+ First communication on λδ version 1.
- The specification of λδ version 1
+ The specification of λδ version 1
is started with Coq 7.3.1.