From 614d006be363d2e2bbfdf8eb3c20c8604d278be1 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 9 Dec 2020 17:50:31 +0100 Subject: [PATCH] =?utf8?q?=CE=BB=CE=B4=20site=20update?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit + old references to ground_2 removed + Makefile: bugfix --- helm/www/lambdadelta/Makefile | 5 +---- helm/www/lambdadelta/web/home/home.ldw.xml | 8 ++++---- .../www/lambdadelta/web/home/specification.ldw.xml | 14 +++++++------- .../lambdadelta/basic_2/web/basic_2.ldw.xml | 2 +- .../lambdadelta/basic_2A/web/basic_2A.ldw.xml | 2 +- .../contribs/lambdadelta/ground/web/ground.ldw.xml | 2 +- .../contribs/lambdadelta/ground/web/ground_src.tbl | 2 +- 7 files changed, 16 insertions(+), 19 deletions(-) diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile index 063bdbe17..a8ad6cbbd 100644 --- a/helm/www/lambdadelta/Makefile +++ b/helm/www/lambdadelta/Makefile @@ -114,9 +114,7 @@ up-home: $(HOMESTAMP) # GENERATE HTML LDDL ######################################################### -ifeq ($(MAKECMDGOALS),html) - LDWS = $(shell find $(LDDLDIR) -name *.ldw.xml) -endif +$(HTMLSTAMP): LDWS = `find $(LDDLDIR) -name *.ldw.xml -not -name index.ldw.xml` $(HTMLSTAMP): $(LDWSTAMP) $(SITEMAP) $(LDWEB:%=$(XSLTDIR)/%) $(H)for LDW in $(LDWS); do \ @@ -126,7 +124,6 @@ $(HTMLSTAMP): $(LDWSTAMP) $(SITEMAP) $(LDWEB:%=$(XSLTDIR)/%) $(XSLT) $(XSLT_OUT) $$HTML $(XSLT_XSL) $(XSLTDIR)/ld_web.xsl $(XSLT_IN) $$LDW; \ done $(H)touch $@ - $(H)touch $(HTMLIXSTAMP) html: $(HTMLSTAMP) diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml index df3661e22..ec5cf0d07 100644 --- a/helm/www/lambdadelta/web/home/home.ldw.xml +++ b/helm/www/lambdadelta/web/home/home.ldw.xml @@ -23,14 +23,14 @@ - + λδ-2B for for Matita 0.99.4 (revised: ). Documentation (J2a). - - lambdadelta_ground for Matita 0.99.2 + + λδ-ground for Matita 0.99.2 (revised ). @@ -62,7 +62,7 @@ M. Weber: An extended type system with lambda-typed lambda-expressions - (2020). To appear in Logical Methods in Computer Science. + (2020). In Logical Methods in Computer Science, 16(4), pp. 12:1-12:50. diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 98dd5f11f..1b9486905 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -81,10 +81,10 @@ Documentation (J2a). - repackaged for publication. + repackaged for publication [Git revision: 2020-12-08 19:00:50]. - repackaged without λδ-ground_2. + repackaged without λδ-ground [Git revision: 2020-02-27 22:45:50]. released [Git revision: 2019-11-19 20:45:15]. @@ -110,10 +110,10 @@ Documentation (R2c). - repackaged on the basis of λδ-ground_2. + repackaged on the basis of λδ-ground [Git revision: 2020-02-27 22:45:50]. - repackaged (was lambdadelta_2A1). + repackaged (was lambdadelta_2A1) [Git revision: 2019-11-20 19:08:07]. released [Git revision: 2014-10-28 17:46:26]. @@ -136,7 +136,7 @@ Source scripts. - repackaged for publication. + repackaged for publication [Git revision: 2020-12-08 19:00:50]. released [Git revision: 2020-02-27 22:45:50]. @@ -144,7 +144,7 @@ Informational pages on the parts of the specification: - Core. + Core. @@ -164,7 +164,7 @@ Documentation (J1a). - repackaging (was lambdadelta_1). + repackaging (was lambdadelta_1) [Git revision: 2019-11-20 19:08:07]. 17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg". diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml index c45570244..82019a3be 100644 --- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml +++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml @@ -37,7 +37,7 @@ (anniversary milestone). - λδ-2B is repackaged without λδ-ground_2. + λδ-2B is repackaged without λδ-ground. λδ-2B is released. diff --git a/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml index e5896ae7b..4fb504ad2 100644 --- a/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml +++ b/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml @@ -15,7 +15,7 @@ - λδ-2A is repackaged without λδ-ground_2. + λδ-2A is repackaged without λδ-ground. λδ-2A is repackaged (was λδ-2A1). diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml index 79e15a541..10ede2725 100644 --- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml +++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml @@ -48,7 +48,7 @@ Logical Structure of the Specification This table reports the specification's components and their planes. -
+
diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl index 0dfbaaecf..2ca13aee9 100644 --- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl +++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl @@ -1,4 +1,4 @@ -name "ground_2_src" +name "ground_src" table { class "gray" -- 2.39.2