X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fhome.ldw.xml;h=fffcc806a802007222037e14953546ad5bd93592;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hp=5625cdb8c6af5f584329518dad93c446875cb103;hpb=a82d87a4c2ff9f518385fba7357dafb632a22882;p=helm.git diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml index 5625cdb8c..fffcc806a 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 digital specifications. - + λδ-2B for for Matita 0.99.4 (released: ). Documentation (J2a). @@ -33,11 +33,15 @@ - to view this site correctly, please select a font - with Unicode support. + to view this site correctly, please install fonts + supporting Unicode 7.0 (June 2014). + For instance + or + or . +