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