helm/www/lambdadelta/web/home/news.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <page xmlns="http://lambdadelta.info/"
   4       description = "\lambda\delta home page"
   5       title = "\lambda\delta home page"
   6       head = "The Formal System λδ (\lambda\delta)"
   7 >
   8    <sitemap name="sitemap"/>
   9
  10 <!-- ===================================================================== -->
  11
  12    <section3 name="milestones">Milestones</section3>
  13
  14    <news class="delta" date="August 2015.">
  15       The specification of λδ version 2A1 is concluded.
  16    </news>
  17
  18    <news class="delta" date="March 2015.">
  19       The specification of λδ version 1 is validated by
  20       <link to="http://matita.cs.unibo.it/">Matita 0.99.2</link>.
  21    </news>
  22
  23    <news class="gamma" date="February 2015.">
  24       <rlink to="implementation.html#v2">"Helena 0.8.2"</rlink> is updated.
  25       <list><item>
  26          The translated specification of Landau's "Grundlagen der Analysis"
  27          is validated in λC by <link to="http://coq.inria.fr/">Coq 8.4.3</link>.
  28       </item></list>
  29    </news>
  30
  31    <news class="delta" date="January 2015.">
  32       The specification of <rlink to="specification.html#v1">λδ version 1</rlink>
  33       is updated with backports from the abandoned specification of λδ version 2.
  34    </news>
  35
  36    <news class="gamma" date="December 2014.">
  37       <rlink to="implementation.html#v2">"Helena 0.8.2"</rlink> is released.
  38       <list><item>
  39          The corrected specification of Landau's "Grundlagen der Analysis"
  40          is validated in λδ version 3.
  41       </item></list>
  42    </news>
  43
  44    <news class="gamma" date="October 2014.">
  45       <rlink to="documentation.html#ldJ2a">λδ version 2A1</rlink>
  46       is released.
  47    </news>
  48
  49    <news class="beta" date="July 2014.">
  50       A new version of this site is online.
  51    </news>
  52
  53    <news class="beta" date="June 2014.">
  54       <rlink to="documentation.html#ldP2c">First communication on λδ version 2.</rlink>
  55    </news>
  56
  57    <news class="alpha" date="December 2012.">
  58       The character "_" is removed from the denomination "lambda_delta":
  59       <list><item>
  60          The denomination "\lambda\delta" is used in λδ-related texts.
  61       </item><item>
  62          The denomination "lambdadelta" is used in λδ-related identifiers.
  63       </item><item>
  64          Permanent λδ URL acquired:
  65          <rlink to="">http://lambdadelta.info/</rlink>
  66          (pointing at this site).
  67       </item></list>
  68    </news>
  69
  70    <news class="alpha" date="September 2011.">
  71       The denomination "lambda-delta" changes to "lambda_delta":
  72       <list><item>
  73          The character "-" is reserved in λδ textual syntax
  74          (recognized by "Helena 0.8.1").
  75       </item><item>
  76          Eventually, the occurrences of the character "-"
  77          will be replaced by "_" in all λδ-related identifiers.
  78       </item><item>
  79          In particular, this refactoring involves file names and path names.
  80       </item></list>
  81    </news>
  82
  83    <news class="alpha" date="April 2011.">
  84       The specification of <rlink to="specification.html#v2">λδ version 2</rlink>
  85       and related topics is restarted in
  86       <link to="http://matita.cs.unibo.it/">Matita 0.5</link>.
  87    </news>
  88
  89    <news class="delta" date="February 2011.">
  90       The specification of λδ version 2 with Coq 7.3.1 is abandoned.
  91    </news>
  92
  93    <news class="alpha" date="December 2010.">
  94       Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012).
  95    </news>
  96
  97    <news class="beta" date="November 2010.">
  98       <rlink to="implementation.html#v1">"Helena 0.8.1"</rlink> is released.
  99    </news>
 100
 101    <news class="beta" date="September 2009.">
 102       <rlink to="implementation.html#v0">"Helena 0.8.0"</rlink> is released and the
 103       <rlink to="implementation.html#lddl">λδ Digital Library</rlink> is started.
 104    </news>
 105
 106    <news class="alpha" date="June 2009.">
 107       "Helena", a <rlink to="implementation.html#helena">validator for λδ version 2</rlink>,
 108       is available as a part of the <link to="http://helm.cs.unibo.it/">HELM</link> software.
 109    </news>
 110
 111    <news class="alpha" date="September 2008.">
 112       This site is online.
 113    </news>
 114
 115    <news class="delta" date="July 2008.">
 116       <rlink to="documentation.html#ldJ1a">First journal paper on λδ</rlink>
 117       accepted for publication.
 118    </news>
 119
 120    <news class="delta" date="July 2008.">
 121       First <link to="http://helm.cs.unibo.it/procedural/">procedural reconstruction</link>
 122       for <link to="http://matita.cs.unibo.it/">Matita 0.5</link>
 123       of the λδ version 1 for Coq 7.3.1.
 124    </news>
 125
 126    <news class="delta" date="June 2008.">
 127       The <rlink to="specification.html#static1">
 128          HTML pages of the specification of λδ version 1 for Matita 0.5</rlink>
 129       are online.
 130    </news>
 131
 132    <news class="delta" date="May 2008.">
 133       The specification of λδ version 1 is concluded.
 134    </news>
 135
 136    <news class="alpha" date="March 2008.">
 137       The specification of λδ version 2 is started with Coq 7.3.1 (false start).
 138    </news>
 139
 140    <news class="gamma" date="September 2007.">
 141       The <rlink to="specification.html#dynamic1">
 142          specification of λδ version 1 for Matita 0.4</rlink>
 143       is online.
 144    </news>
 145
 146    <news class="gamma" date="November 2006.">
 147       <rlink to="documentation.html#ldR1b">λδ version 1</rlink>
 148       is released.
 149    </news>
 150
 151    <news class="beta" date="December 2005.">
 152       <rlink to="documentation.html#ldP1a">First communication on λδ version 1</rlink>.
 153    </news>
 154
 155    <news class="alpha" date="May 2004.">
 156       The specification of <rlink to="specification.html#v1">λδ version 1</rlink>
 157       is started with Coq 7.3.1.
 158    </news>
 159
 160 <!-- ===================================================================== -->
 161
 162    <section3 name="visibility">Visibility</section3>
 163
 164    <news class="alpha" date="June 2014.">
 165       The <link to="http://www.google.com/">Google</link>
 166       search for "formal system lambda delta" gives
 167       5 resources about λδ in the first 6 results.
 168    </news>
 169
 170    <news class="alpha" date="June 2014.">
 171       The <link to="http://www.yahoo.com/">Yahoo</link>
 172       search for "formal system lambda delta" gives
 173       4 resources about λδ in the first 5 results.
 174    </news>
 175
 176    <footer/>
 177 </page>