</body>
<table name="versions"/>
+ <body>
+ <notice class="alpha" text="Change logs:"/>
+ <rlink to="html/changes.html">System and Specification</rlink>
+ (updated <notice class="gamma" notice="2019-12"/>).
+ </body>
+
<body>
Informational pages on the specifications are provided.
</body>
<body>
<notice class="alpha" text="Notice:"/>
the scripts are checked by the latest version of Matita from
- <link to="http://matita.cs.unibo.it/gitweb/">helm.git repository</link>.
+ <link to="http://matita.cs.unibo.it/gitweb/?p=helm.git;a=summary">HELM Git repository</link>.
</body>
<topitem name="source2B">
<body>
<rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
- (revised <notice class="delta" text="2019-11"/>).
+ (revised <notice class="gamma" text="2019-11"/>).
Source scripts [Git revision: 2019-11-19 20:45:15].
- <rlink to="html/documentation.html#ldV2b">Documentation (V2b)</rlink>.
+ <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
</body>
</topitem>