- <notice class="alpha" text="Current version: "/>
- <rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
- (released: <notice class="gamma" notice="2019-11"/>).
- <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
+ <body>
+ <notice class="alpha" text="The current version: "/>
+ <rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
+ (revised: <notice class="gamma" notice="2020-12"/>).
+ <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
+ </body>
+ <body>
+ <notice class="alpha" text="The scriprs depend on: "/>
+ <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
+ (revised <notice class="gamma" text="2020-12"/>).
+ </body>