From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 16 Jan 2015 20:00:40 +0000 (+0000)
Subject: infrastructure to browse lambdadelta_1 remotely
X-Git-Tag: make_still_working~766
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b01cc7ea6a6a931e3485fde7ec78b2c216918e11;p=helm.git
infrastructure to browse lambdadelta_1 remotely
---
diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index f46fcdc30..d9563b664 100644
--- 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
index 000000000..a09db612b
--- /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 5707823a2..ebd699892 100644
--- 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 cc43bdc0f..043b472e1 100644
--- 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 9f1f7f43e..0349038e8 100644
--- 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>