infrastructure to browse lambdadelta_1 remotely

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index f46fcdc303454d6ffee77b37166195714f5e7067..d9563b6648ecff0491fdc57de292d7140e3357e1 100644 (file)
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -3,7 +3,7 @@ H=@
 TAGS = www up \
        lint-xml index lddl install-xml \
        test-html html install-html \
-       install-jed install-bib install-contrib \
+       install-jed install-bib install-contrib install-coq \
        install-automath install-matita \
 
 LDURL   = http://lambdadelta.info/
@@ -29,7 +29,7 @@ RDIR     = /projects/helm/public_html/lambdadelta
 RHOMEDIR = $(REMOTE):$(RDIR)
 RXMLDIR  = $(RHOMEDIR)/xml
 RDOWNDIR = $(RHOMEDIR)/download
-RHTMLDIR = /projects/helm/public_html/lambda-delta/static
+RSTATICDIR = /projects/helm/public_html/lambda-delta/static
 
 SLS     = helena.sl automath.sl
 BIB     = lambdadelta.bib
@@ -122,7 +122,7 @@ install-html $(DOWNDIR)/static_lddl.tar.bz2: $(ETCDIR)/exclude.txt $(ETCDIR)/mak
        @echo "  INSTALL html"
        $(H)tar -cjf $(DOWNDIR)/static_lddl.tar.bz2 -C static -X $< lddl 
        $(H)scp $(DOWNDIR)/static_lddl.tar.bz2 $(RDOWNDIR)
-       $(H)ssh $(REMOTE) "cd $(RHTMLDIR) && tar -xjf ../../lambdadelta/download/static_lddl.tar.bz2
+       $(H)ssh $(REMOTE) "cd $(RSTATICDIR) && tar -xjf ../../lambdadelta/download/static_lddl.tar.bz2
 
 install-jed: $(SLS:%=$(JEDDIR)/%)
        @echo "  INSTALL $(SLS)"
@@ -145,6 +145,10 @@ install-matita: $(MATITA:%=$(HELENADIR)/%)
        @echo "  INSTALL matita"
        $(H)tar -C $(HELENADIR) -cjf $(DOWNDIR)/grundlagen_2.tar.bz2 $(MATITA)
 
+install-coq:
+       @echo "  INSTALL coq"
+       $(H)ssh $(REMOTE) "cd $(RSTATICDIR)/coq && tar -xzf ../../../lambdadelta/download/lambdadelta_1.tar.gz && . ../../../lambdadelta/etc/to_text.sh v
+
 up:
        @echo "  UPDATE $(RHOMEDIR)"
        $(H)ssh $(REMOTE) "svn up $(RDIR)"

diff --git a/helm/www/lambdadelta/etc/to_text.sh b/helm/www/lambdadelta/etc/to_text.sh
new file mode 100644 (file)
index 0000000..a09db61
--- /dev/null
+++ b/helm/www/lambdadelta/etc/to_text.sh
@@ -0,0 +1,3 @@
+for FILE in `find -name "*.$1"`; do
+   mv $FILE ${FILE/.$1/.txt};
+done

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 5707823a2e8f26eaae6c9f9dedea5b91e3ed487b..ebd699892fa3db81392f5e6923e33d4db9098187 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -98,6 +98,13 @@
     <!-- ===================================================================== -->
     <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="milestones">Milestones <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
     </div>
+    <ul xmlns:ld="http://lambdadelta.info/">
+      <li>
+        <span class="emph delta">January 2015.</span>
+      The specification of <a href="http://lambdadelta.info/specification.html#v1">λδ version 1</a>
+      is updated with backports from the abandoned specification of λδ version 2.
+   </li>
+    </ul>
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
         <span class="emph gamma">December 2014.</span>
@@ -170,7 +177,7 @@
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
         <span class="emph alpha">April 2011.</span>
-      The specification of <a href="http://lambdadelta.info/version_2.html">λδ version 2</a>
+      The specification of <a href="http://lambdadelta.info/specification.html#v2">λδ version 2</a>
       and related topics is restarted in
       <a href="http://matita.cs.unibo.it/">Matita 0.5</a>.
    </li>
@@ -231,7 +238,7 @@
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
         <span class="emph delta">June 2008.</span>
-      The <a href="http://lambdadelta.info/version_1.html#static">
+      The <a href="http://lambdadelta.info/specification.html#static1">
          HTML pages of the specification of λδ version 1 for Matita 0.5</a>
       are online.
    </li>
@@ -251,7 +258,7 @@
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
         <span class="emph gamma">September 2007.</span>
-      The <a href="http://lambdadelta.info/version_1.html#dynamic">
+      The <a href="http://lambdadelta.info/specification.html#dynamic1">
          specification of λδ version 1 for Matita 0.4</a>
       is online.
    </li>
@@ -272,7 +279,7 @@
     <ul xmlns:ld="http://lambdadelta.info/">
       <li>
         <span class="emph alpha">May 2004.</span>
-      The specification of <a href="http://lambdadelta.info/version_1.html">λδ version 1</a>
+      The specification of <a href="http://lambdadelta.info/specification.html#v1">λδ version 1</a>
       is started with Coq 7.3.1.
    </li>
     </ul>
@@ -321,6 +328,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 15 Jan 2015 16:54:44 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 16 Jan 2015 16:47:03 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index cc43bdc0f774d63c6d75b8ac3af19d1b4ad41626..043b472e1fdda1b553768912356c30d3bb34604e 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -309,6 +309,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 15 Jan 2015 16:59:16 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 16 Jan 2015 16:47:03 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 9f1f7f43e9654713a54df02829ceb88efd3bb0aa..0349038e84fb99f814efea7dc62ee0b9f3ee1ac3 100644 (file)
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -11,6 +11,11 @@
 
    <section3 name="milestones">Milestones</section3>
 
+   <news class="delta" date="January 2015.">
+      The specification of <rlink to="specification.html#v1">λδ version 1</rlink>
+      is updated with backports from the abandoned specification of λδ version 2.
+   </news>
+
    <news class="gamma" date="December 2014.">
       <rlink to="implementation.html#v2">"Helena 0.8.2"</rlink> is released.
       <list><item>
@@ -59,7 +64,7 @@
    </news>
 
    <news class="alpha" date="April 2011.">
-      The specification of <rlink to="version_2.html">λδ version 2</rlink>
+      The specification of <rlink to="specification.html#v2">λδ version 2</rlink>
       and related topics is restarted in
       <link to="http://matita.cs.unibo.it/">Matita 0.5</link>.
    </news>
@@ -102,7 +107,7 @@
    </news>
 
    <news class="delta" date="June 2008.">
-      The <rlink to="version_1.html#static">
+      The <rlink to="specification.html#static1">
          HTML pages of the specification of λδ version 1 for Matita 0.5</rlink>
       are online.
    </news>
@@ -116,7 +121,7 @@
    </news>
 
    <news class="gamma" date="September 2007.">
-      The <rlink to="version_1.html#dynamic">
+      The <rlink to="specification.html#dynamic1">
          specification of λδ version 1 for Matita 0.4</rlink>
       is online.
    </news>
@@ -131,7 +136,7 @@
    </news>
 
    <news class="alpha" date="May 2004.">
-      The specification of <rlink to="version_1.html">λδ version 1</rlink>
+      The specification of <rlink to="specification.html#v1">λδ version 1</rlink>
       is started with Coq 7.3.1.
    </news>