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