- <div xmlns:ld="http://lambdadelta.info/" class="text">
- <ul>
- <li>
- <span class="date">June 2014.</span>
- <a href="http://lambdadelta.info/documentation.html#ldt8">First communication on λδ version 2.</a>
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">December 2012.</span>
- The character "_" is removed from the denomination "lambda_delta":
- <ul>
- <li>
- The denomination "\lambda\delta" is used in λδ-related texts.
- </li>
- <li>
- The denomination "lambdadelta" is used in λδ-related identifiers.
- </li>
- <li>
- Permanent λδ URL acquired:
- <a href="http://lambdadelta.info/">http://lambdadelta.info/</a>
- (pointing at this site).
- </li>
- </ul>
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">September 2011.</span>
- The denomination "lambda-delta" changes to "lambda_delta":
- <ul>
- <li>
- The character "-" is reserved in λδ textual syntax
- (recognized by "Helena 0.8.1").
- </li>
- <li>
- Eventually, the occurrences of the character "-"
- will be replaced by "_" in all λδ-related identifiers.
- </li>
- <li>
- In particular, this refactoring involves file names and path names.
- </li>
- </ul>
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">April 2011.</span>
- The specification of <a href="http://lambdadelta.info/version_2.html">λδ version 2</a>
- and related topics is restarted in
- <a href="http://matita.cs.unibo.it/">Matita 0.5</a>.
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">December 2010.</span>
- Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012).
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">November 2010.</span>
- "Helena 0.8.1" is released.
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">September 2009.</span>
- "Helena 0.8.0" is released and the
- <a href="http://lambdadelta.info/implementation.html#lddl">λδ Digital Library</a>
- is started.
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">June 2009.</span>
- "Helena", a <a href="http://lambdadelta.info/implementation.html#helena">validator for λδ version 2</a>,
- is available as a part of the <a href="http://helm.cs.unibo.it/">HELM</a> software.
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">September 2008.</span>
- This site is online.
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">July 2008.</span>
- <a href="http://lambdadelta.info/documentation.html#ldp5">First journal paper on λδ</a>
- accepted for publication.
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">July 2008.</span>
- First <a href="http://helm.cs.unibo.it/procedural/">procedural reconstruction</a>
- for <a href="http://matita.cs.unibo.it/">Matita 0.5</a>
- of the λδ version 1 for Coq 7.3.1.
- </li>
- </ul>
- <ul>
- <li>
- <span class="date">June 2008.</span>
- The <a href="http://lambdadelta.info/version_1.html#static">
- HTML pages of the specification of λδ version 1 for Matita 0.5</a>
- are online.
- </li>
- </ul>
+
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="date">July 2014.</span>
+ A new version of this site is online.
+ </li>
+ </ul>
+
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="date">June 2014.</span>
+ <a href="http://lambdadelta.info/documentation.html#ldP8">First communication on λδ version 2.</a>
+ </li>
+ </ul>
+
+ <ul xmlns:ld="http://lambdadelta.info/">
+ <li>
+ <span class="date">December 2012.</span>
+ The character "_" is removed from the denomination "lambda_delta":