<tbody>
<tr>
<td class="snns capitalize italic sky">
- <a href="http://lambdadelta.info/index.html">home</a>
+ <a href="http://lambdadelta.info/home.html">home</a>
</td>
<td class="snns capitalize italic magenta">
<a href="http://lambdadelta.info/news.html">news</a>
</tr>
<tr>
<td class="snns capitalize sky">
- <a href="http://lambdadelta.info/index.html#foreword">foreword</a>
+ <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
</td>
<td class="snns capitalize magenta">
<a href="http://lambdadelta.info/news.html#milestones">milestones</a>
<a href="http://lambdadelta.info/implementation.html#helena">helena</a>
</td>
<td class="ssnn capitalize green">
- <br />
+ <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
</td>
</tr>
<tr>
<td class="snss capitalize sky">
- <a href="http://lambdadelta.info/index.html#citations">citations</a>
+ <a href="http://lambdadelta.info/home.html#citations">citations</a>
</td>
<td class="snss capitalize magenta">
<a href="http://lambdadelta.info/news.html#visibility">visibility</a>
<span class="emph gamma">February 2015.</span>
<a href="http://lambdadelta.info/implementation.html#v2">"Helena 0.8.2"</a> is updated.
<ul>
- <li>
+ <li class="">
The translated specification of Landau's "Grundlagen der Analysis"
is validated in CC by <a href="http://coq.inria.fr/">Coq 8.4.3</a>.
</li>
<span class="emph gamma">December 2014.</span>
<a href="http://lambdadelta.info/implementation.html#v2">"Helena 0.8.2"</a> is released.
<ul>
- <li>
+ <li class="">
The corrected specification of Landau's "Grundlagen der Analysis"
is validated in λδ version 3.
</li>
<span class="emph alpha">December 2012.</span>
The character "_" is removed from the denomination "lambda_delta":
<ul>
- <li>
+ <li class="">
The denomination "\lambda\delta" is used in λδ-related texts.
</li>
- <li>
+ <li class="">
The denomination "lambdadelta" is used in λδ-related identifiers.
</li>
- <li>
+ <li class="">
Permanent λδ URL acquired:
<a href="http://lambdadelta.info/">http://lambdadelta.info/</a>
(pointing at this site).
<span class="emph alpha">September 2011.</span>
The denomination "lambda-delta" changes to "lambda_delta":
<ul>
- <li>
+ <li class="">
The character "-" is reserved in λδ textual syntax
(recognized by "Helena 0.8.1").
</li>
- <li>
+ <li class="">
Eventually, the occurrences of the character "-"
will be replaced by "_" in all λδ-related identifiers.
</li>
- <li>
+ <li class="">
In particular, this refactoring involves file names and path names.
</li>
</ul>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 21 Jul 2016 16:50:48 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
</body>
</html>