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 5625cdb8c6af5f584329518dad93c446875cb103..cd7c4121b33746a37dda80f6661fa1922a32e59e 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">
-      <notice class="alpha" text="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>.
@@ -33,11 +33,14 @@
     </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"/>
+      or <notice class="alpha" text="Symbola"/>.
     </body>
     <body>
        <ucs-bronze char="03BB"/>
+      <ucs-bronze char="03B4"/>
     </body>
  
  <!-- ===================================================================== -->