\lambda\delta web site update for git

[helm.git] / helm / www / lambdadelta / web / home / specification.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml

index 10a24009f6f08c8d3f03d5964e486e8c5b39d21c..93208df02dceba4a1d9b669685f1112faacea92a 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -66,7 +66,7 @@
           <rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
           (revised <notice class="gamma" text="2014-10"/>).
           Source scripts [Svn revision: 12964].
-         <rlink to="documentation.html#ldR2c">Documentation (R2c)</rlink>.
+         <rlink to="html/documentation.html#ldR2c">Documentation (R2c)</rlink>.
        </body>
        <body>
           The scripts are grouped in directories, first by part, then by component.
@@ -81,9 +81,9 @@
  
     <body>
        Informational pages on the parts of the specification:
-      <rlink to="ground_2.html">Background</rlink>,
-      <rlink to="basic_2.html">Core</rlink>,
-      <rlink to="apps_2.html">Applications</rlink>.
+      <rlink to="html/ground_2.html">Background</rlink>,
+      <rlink to="html/basic_2.html">Core</rlink>,
+      <rlink to="html/apps_2.html">Applications</rlink>.
     </body>
  
  <!-- VERSION 1 =========================================================== -->
@@ -99,7 +99,7 @@
           <rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
           (revised <notice class="delta" text="2015-09"/>).
           Source scripts.
-         <rlink to="documentation.html#ldJ1a">Documentation (J1a)</rlink>.
+         <rlink to="html/documentation.html#ldJ1a">Documentation (J1a)</rlink>.
           <list><item>
              <notice class="delta" text="2015 January 15."/>
              17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".
@@ -146,8 +146,8 @@
  
     <body>
        Informational pages on the parts of the specification:
-      <rlink to="ground_1.html">Background</rlink>,
-      <rlink to="basic_1.html">Core</rlink>.
+      <rlink to="html/ground_1.html">Background</rlink>,
+      <rlink to="html/basic_1.html">Core</rlink>.
     </body>
  
     <footer/>