as a set of machine-checked <rlink to="html/specification.html">digital specifications</rlink>.
</body>
<topitem name="current">
- Current version:
+ <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>
<body>
<notice class="alpha" text="Notice:"/>
- to view this site correctly, please select a font
- with <link to="http://www.unicode.org/">Unicode</link> support.
+ to view this site correctly, please install fonts
+ supporting <link to="http://www.unicode.org/">Unicode 7.0</link> (June 2014).
+ For instance <notice class="alpha" text="Unifont Upper"/>
+ or <notice class="alpha" text="Symbola"/>
+ or <notice class="alpha" text="Noto Sans Symbols2"/>.
</body>
<body>
<ucs-bronze char="03BB"/>
+ <ucs-bronze char="03C7"/>
+ <ucs-bronze char="03B4"/>
</body>
<!-- ===================================================================== -->