X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fnews.ldw.xml;h=3f1c9f893e136452c8b5a1d3bbf6d47e80cb62e8;hb=150f931929c8333dbcfff8dbe77fb2e177f44c56;hp=cee19459dcaea84e867895cd96c99a3bc5fb31f9;hpb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;p=helm.git diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml index cee19459d..3f1c9f893 100644 --- a/helm/www/lambdadelta/web/home/news.ldw.xml +++ b/helm/www/lambdadelta/web/home/news.ldw.xml @@ -3,121 +3,190 @@ - Milestones - - - First communication on λδ version 2. - - - The character "_" is removed from the denomination "lambda_delta": - - - The denomination "\lambda\delta" is used in λδ-related texts. - - - The denomination "lambdadelta" is used in λδ-related identifiers. - - - Permanent λδ URL acquired: - http://lambdadelta.info/ - (pointing at this site). - - - - - 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 specification of λδ version 2 - and related topics is restarted in - Matita 0.5. - - - Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012). - - - "Helena 0.8.1" is released. - - - "Helena 0.8.0" is released and the - λδ Digital Library - is started. - - - "Helena", a validator for λδ version 2, - is available as a part of the HELM software. - - - This site is online. - - - First journal paper on λδ - accepted for publication. - - - First procedural reconstruction - for Matita 0.5 - of the λδ version 1 for Coq 7.3.1. - - - The - HTML pages of the specification of λδ version 1 for Matita 0.5 - are online. - - - The specification of λδ version 1 is dismissed. - - - The specification of λδ version 2 is started with Coq 7.3.1 (false start). - - - The - specification of λδ version 1 for Matita 0.4 - is online. - - - λδ version 1 - is released. - - - First communication on λδ. - - - The specification of λδ version 1 - is started with Coq 7.3.1. - - - - Visibility - - - The Google - search for "formal system lambda delta" gives - 5 resources about λδ in the first 6 results. - - - The Yahoo - search for "formal system lambda delta" gives - 4 resources about λδ in the first 5 results. - - + + + Milestones + + + Second journal paper on λδ + accepted for publication. + + + + "Helena 0.8.3" is released. + + + + The specification of λδ version 2A1 is concluded. + + + + The corrected specification of Landau's "Grundlagen der Analysis" + is validated in a λProlog implementation of λδ version 3. + + + + The specification of λδ version 1 is validated by + Matita 0.99.2. + + + + "Helena 0.8.2" is updated. + + The translated specification of Landau's "Grundlagen der Analysis" + is validated in CC by Coq 8.4.3. + + + + + The specification of λδ version 1 + is updated with backports from the abandoned specification of λδ version 2. + + + + "Helena 0.8.2" is released. + + The corrected specification of Landau's "Grundlagen der Analysis" + is validated in λδ version 3. + + + + + λδ version 2A1 + is released. + + + + A new version of this site is online. + + + + First communication on λδ version 2. + + + + The character "_" is removed from the denomination "lambda_delta": + + The denomination "\lambda\delta" is used in λδ-related texts. + + The denomination "lambdadelta" is used in λδ-related identifiers. + + Permanent λδ URL acquired: + http://lambdadelta.info/ + (pointing at this site). + + + + + 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 specification of λδ version 2 + and related topics is restarted in + Matita 0.5. + + + + The specification of λδ version 2 with Coq 7.3.1 is abandoned. + + + + Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012). + + + + "Helena 0.8.1" is released. + + + + "Helena 0.8.0" is released and the + λδ Digital Library is started. + + + + "Helena", a validator for λδ version 2, + is available as a part of the HELM software. + + + + This site is online. + + + + First journal paper on λδ + accepted for publication. + + + + First procedural reconstruction + for Matita 0.5 + of the λδ version 1 for Coq 7.3.1. + + + + The + HTML pages of the specification of λδ version 1 for Matita 0.5 + are online. + + + + The specification of λδ version 1 is concluded. + + + + The specification of λδ version 2 is started with Coq 7.3.1 (false start). + + + + The + specification of λδ version 1 for Matita 0.4 + is online. + + + + λδ version 1 + is released. + + + + First communication on λδ version 1. + + + + The specification of λδ version 1 + is started with Coq 7.3.1. + + + + + Visibility + + + The Google + search for "formal system lambda delta" gives + 5 resources about the λδ family in the first 6 results. + + + + The Yahoo + search for "formal system lambda delta" gives + 4 resources about the λδ family in the first 5 results. +