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