From 2c4b4aaa6f1490346823a26cba5dd965cab0cd02 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 4 Jan 2015 23:44:48 +0000 Subject: [PATCH] - xhtbl: minor improvement - web site update - static xhtml pages from lddl: updated trough ld_web infrastructure --- helm/www/lambdadelta/BTM.html | 13 +- helm/www/lambdadelta/Makefile | 20 +- helm/www/lambdadelta/apps_2.html | 59 ++-- helm/www/lambdadelta/basic_2.html | 99 +++--- helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml | 1 + helm/www/lambdadelta/css/ld_web.css | 5 +- helm/www/lambdadelta/css/lddl.css | 7 +- helm/www/lambdadelta/documentation.html | 45 +-- .../lambdadelta/download/helena_0.8.2.tar.gz | Bin 0 -> 522982 bytes helm/www/lambdadelta/ground_2.html | 44 +-- helm/www/lambdadelta/implementation.html | 98 +++--- helm/www/lambdadelta/index.html | 63 ++-- helm/www/lambdadelta/news.html | 144 ++++---- helm/www/lambdadelta/specification.html | 112 +++--- .../web/home/implementation.ldw.xml | 22 +- helm/www/lambdadelta/web/home/news.ldw.xml | 20 +- helm/www/lambdadelta/web/home/sitemap.tbl | 8 +- helm/www/lambdadelta/xslt/ld_web.xsl | 3 +- helm/www/lambdadelta/xslt/ld_web_root.xsl | 6 + helm/www/lambdadelta/xslt/lddl.xsl | 11 +- .../{lddl_entity.xsl => lddl_constant.xsl} | 51 ++- helm/www/lambdadelta/xslt/lddl_library.xsl | 320 +++++++++--------- helm/www/lambdadelta/xslt/lddl_root.xsl | 99 ++---- helm/www/lambdadelta/xslt/lddl_term.xsl | 88 ++--- 24 files changed, 645 insertions(+), 693 deletions(-) create mode 100644 helm/www/lambdadelta/download/helena_0.8.2.tar.gz rename helm/www/lambdadelta/xslt/{lddl_entity.xsl => lddl_constant.xsl} (59%) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 9050909b2..32ce9bad0 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -23,11 +23,11 @@
[Spacer]
-
Character classes
-
This table shows how the first 45 positive integers +
Character classes
+
This table shows how the first 45 positive integers are distributed in the four classes.
-
+
@@ -196,8 +196,7 @@
- -
+
[Spacer]
@@ -223,6 +222,6 @@

-
Last update: Wed, 24 Dec 2014 22:58:52 +0100
- +
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+ diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile index cbdcfd4f0..f46fcdc30 100644 --- a/helm/www/lambdadelta/Makefile +++ b/helm/www/lambdadelta/Makefile @@ -14,8 +14,9 @@ DOWNDIR = download XSLTDIR = xslt XMLDIR = xml SRCDIR = web/home +LDDLDIR = web/lddl XHTBLDIR = bin/xhtbl -HTMLDIR = $(HOME)/public_html/lddl +HTMLDIR = static/lddl JEDDIR = $(HOME)/mps/jed BIBDIR = $(HOME)/texmf/bibtex/bib CONTRIBDIR = $(ETCDIR)/lambdadelta @@ -27,8 +28,8 @@ REMOTE = helm.cs.unibo.it RDIR = /projects/helm/public_html/lambdadelta RHOMEDIR = $(REMOTE):$(RDIR) RXMLDIR = $(RHOMEDIR)/xml -RHTMLDIR = $(RHOMEDIR)/static/lddl RDOWNDIR = $(RHOMEDIR)/download +RHTMLDIR = /projects/helm/public_html/lambda-delta/static SLS = helena.sl automath.sl BIB = lambdadelta.bib @@ -110,8 +111,6 @@ install-xml: $(DOWNDIR)/lddl.tar.bz2 $(H)scp $^ $(RDOWNDIR) $(H)ssh $(REMOTE) "cd $(RDIR) && tar -xjf download/lddl.tar.bz2" -# $(H)scp -r $(XMLDIR) $(RXMLDIR) - test-html: @$(MAKE) --no-print-directory $(XMLS:%.xml=%) @@ -119,9 +118,11 @@ html: $(ETCDIR)/make_html.sh @echo " MAKE */*.ld" $(H). $< -install-html: $(ETCDIR)/make_html.sh +install-html $(DOWNDIR)/static_lddl.tar.bz2: $(ETCDIR)/exclude.txt $(ETCDIR)/make_html.sh @echo " INSTALL html" - $(H)scp -r $(HTMLDIR)/* $(RHTMLDIR) + $(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 install-jed: $(SLS:%=$(JEDDIR)/%) @echo " INSTALL $(SLS)" @@ -150,10 +151,9 @@ up: %.ld: @echo " XSLT $@" + $(H)mkdir -p $(LDDLDIR)/$(@D) + $(H)$(XSLT) $(XSLT_OUT) $(LDDLDIR)/$@.ldw.xml $(XSLT_XSL) $(XSLTDIR)/lddl.xsl $(XSLT_IN) $(XMLDIR)/$@.xml $(H)mkdir -p $(HTMLDIR)/$(@D) - $(H)$(XSLT) $(XSLT_OUT) $(HTMLDIR)/$@.html $(XSLT_XSL) $(XSLTDIR)/lddl.xsl $(XSLT_IN) $(XMLDIR)/$@.xml - -%.ldc: - @echo " SKIP $@" + $(H)$(XSLT) $(XSLT_OUT) $(HTMLDIR)/$@.html $(XSLT_XSL) $(XSLTDIR)/ld_web.xsl $(XSLT_IN) $(LDDLDIR)/$@.ldw.xml .PHONY: $(TAGS) diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 5184a4d12..9d96b1dbc 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -23,7 +23,7 @@
[Spacer]
-
+

@@ -45,9 +45,12 @@
- + implementation + +
+ @@ -63,9 +66,10 @@ version 2 (background - core - applications) - + library + (static LDDL directory) @@ -80,44 +84,43 @@ version 1 - -
- - + (static HELM directory) + helena + +
+
- -
Contents of the Specification [spacer] +
Contents of the Specification [spacer]
-
This specification comprises a collection of checked +
This specification comprises a collection of checked applications of λδ version 2. In particular it contains the components below.
-