λδ web site update

[helm.git] / helm / www / lambdadelta / web / home / home.ldw.xml

diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index 92cd421bdb11f89c6ef7c523fc03bb0c6a275908..5625cdb8c6af5f584329518dad93c446875cb103 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -22,7 +22,7 @@
       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>.