update in apps_2

[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 e1b5eb42564e1f7ca01c3ffd5430e5ec12c94f65..8e6135836d861a64fffbbf64e845257b950916ab 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -11,13 +11,14 @@
     <section9 name="foreword">Foreword</section9>
     <body>
        The formal systems of the λδ (\lambda\delta) family are typed λ-calculi aiming to support
-      the foundational frameworks for Mathematics that require an underlying specification language
-      (for example the <link to="http://www.math.unipd.it/~maietti/">Minimalist Foundation</link>
-       and its predecessors).
+      the foundational frameworks for Mathematics that require an underlying specification language,
+      for example the
+      <link to="http://www.math.unipd.it/~maietti/">Minimalist Foundation (MF)</link>
+      and its predecessors.
     </body>
     <body>
        The λδ family is developed within the
-      <link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</link>
+      <link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics (HELM)</link>
        as a set of machine-checked digital specifications.
     </body>
     <body>
@@ -25,12 +26,9 @@
        (revised <notice class="alpha" text="2012-09"/>).
     </body>
     <body>
-      <notice class="alpha" text="Notice for the user of Internet Explorer."/>
-      To view this site correctly, please select a font
+      <notice class="alpha" text="Notice:"/>
+      to view this site correctly, please select a font
        with <link to="http://www.unicode.org/">Unicode</link> support.
-      For example "Lucida Sans Unicode" (it should be already installed on your system).
-      To change the current font follow:
-      "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.
     </body>
  
  <!-- ===================================================================== -->
@@ -41,13 +39,13 @@
     </body>
  
     <topitem name="C10">
-      Matthias Weber:
+      M. Weber:
        <notice class="alpha">An extended type system with lambda-typed lambda-expressions</notice>
        (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
     </topitem>
  
     <topitem name="C9">
-      Matthias Weber:
+      M. Weber:
        <notice class="alpha">An extended type system with lambda-typed lambda-expressions (extended version)</notice>
        (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
     </topitem>