<h2>Scripts<a name="scripts"></a></h2>
<p>
- The <a href="library/">scripts</a> used to generate the knowledge base of
- Matita can be <a href="library/">browsed on line</a>.
+ The <a href="nlibrary/">scripts</a> used to generate the knowledge base of
+ Matita can be <a href="nlibrary/">browsed on line</a>.
</p>
<p>
- The experimental <a href="nlibrary/">scripts</a> for the next major version of Matita can also be <a href="nlibrary/">browsed on line</a>.
+ (Old <a href="library/">scripts</a> used in the previous releases of
+ Matita are <a href="library/">still available</a>.)
</p>
<br/>
<p>The CerCo project is a FET Open IST project funded by the EU
community in the 7th Framework Programme. More informations on the
project and the code of the Matita formalization can be found
- on the <a href="cerco.cs.unibo.it">CerCo Web site</a>
+ on the <a href="http://cerco.cs.unibo.it">CerCo Web site</a>
</p>
<h2>The Basic Picture<a name="sambin"></a></h2>