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