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