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