X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=5625cdb8c6af5f584329518dad93c446875cb103;hp=92cd421bdb11f89c6ef7c523fc03bb0c6a275908;hb=a82d87a4c2ff9f518385fba7357dafb632a22882;hpb=cdb85e803cd6038352ec0a318285f96f42faf02d

diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index 92cd421bd..5625cdb8c 100644
--- 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>.