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