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