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