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