grundlagen web pages updated

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

diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 76bd89b33a94626779f64dd34c101189cb5099bd..04ef6ed1a6fef2796885c0c7b11281610a63944b 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -144,17 +144,17 @@
    <topitem name="contents">
       <notice class="alpha" notice="Contents:"/>
       Landau's "Grundlagen der Analysis"
-      (from Jutting's specification in  <link to="http://www.win.tue.nl/automath/">Automath</link>).
+      (from Jutting's specification in <link to="http://www.win.tue.nl/automath/">Automath</link>).
    </topitem>
    <topitem name="access">
-      <notice class="alpha" notice="Access:"/>
-      <rlink to="static/lddl/">static pages</rlink> (updated <notice class="gamma" notice="2015-01"/>),
+      <notice class="alpha" notice="Access: "/>
+      <rlink to="html/lddl/">html pages</rlink> (updated <notice class="gamma" notice="2019-12"/>),
       <rlink to="download/lddl.tar.bz2">data set</rlink> (updated <notice class="gamma" notice="2014-12"/>),
       <rlink to="xml/">HELM server URL</rlink> (updated <notice class="gamma" notice="2014-12"/>).
    </topitem>
    <topitem name="examples">
-      <notice class="alpha" notice="Examples:"/>
-      <rlink to="static/lddl/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
+      <notice class="alpha" notice="Examples: "/>
+      <rlink to="html/lddl/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
          Grundlagen's definition "t234"</rlink>
       in λδ version 4.
    </topitem>