<a href="http://lambdadelta.info/index.html#notice">notice</a>
</td>
<td class="snss capitalize magenta">
- <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
+ <a href="http://lambdadelta.info/news.html#citations">citations</a>
</td>
<td class="snss capitalize orange">
<a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
<ul xmlns:ld="http://lambdadelta.info/" id="source2">
<li>
- <a href="http://lambdadelta.info/download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</a>
- (revised <span class="date">2014-10</span>).
- Source scripts.
+ <div class="text">
+ <a href="http://lambdadelta.info/download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</a>
+ (revised <span class="date">2014-10</span>).
+ Source scripts.
+ </div>
+ <div class="text">
+ <span class="date">Notice:</span> compile with the latest version of Matita from
+ <a href="http://matita.cs.unibo.it/download.shtml">HELM Subversion repository</a>
+ at path <trunk/matita/>.
+ </div>
</li>
</ul>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 15 Oct 2014 15:37:19 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 20 Oct 2014 16:17:00 +0200</div>
</body>
</html>