]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 3bc50da)
λδ site update
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 9 Dec 2020 16:50:31 +0000 (17:50 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 9 Dec 2020 16:50:31 +0000 (17:50 +0100)
+ old references to ground_2 removed
+ Makefile: bugfix

helm/www/lambdadelta/Makefile patch | blob | history
helm/www/lambdadelta/web/home/home.ldw.xml patch | blob | history
helm/www/lambdadelta/web/home/specification.ldw.xml patch | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml patch | blob | history
matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml patch | blob | history
matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml patch | blob | history
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl patch | blob | history

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 063bdbe176ccd8ab6c306370d60ca922b6caf3b9..a8ad6cbbd3dc261647b4376c97e81e710ce1473e 100644 (file)
--- 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 df3661e223cfc9d02c435111e238d8b88bb22ddd..ec5cf0d07256c58cb6bb37f1e716cc95eac0c319 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -23,14 +23,14 @@
    </body>
    <topitem name="current">
       <body>
-        <notice class="alpha" text="The current version: "/>
+        <notice class="alpha" text="The current specification: "/>
         <rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
         (revised: <notice class="gamma" notice="2020-12"/>).
         <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
       </body>
       <body>
-         <notice class="alpha" text="The scriprs depend on: "/>
-         <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
+         <notice class="alpha" text="The current specification depends on: "/>
+         <rlink to="download/lambdadelta_ground.tar.bz2">λδ-ground for Matita 0.99.2</rlink>
          (revised <notice class="gamma" text="2020-12"/>).
       </body>
    </topitem>
@@ -62,7 +62,7 @@
    <topitem name="C10">
       M. Weber:
       <notice class="alpha">An extended type system with lambda-typed lambda-expressions</notice>
-      (2020). To appear in Logical Methods in Computer Science.
+      (2020). In Logical Methods in Computer Science, 16(4), pp. 12:1-12:50.
    </topitem>
 
    <topitem name="C9">
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml
index 98dd5f11f0c2f973bc0552c4666410ed7b06b51b..1b9486905620802207277b07081288efab5a68b6 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -81,10 +81,10 @@
          <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
          <list><item>
             <notice class="gamma" text="2020-12-08."/>
-            repackaged for publication.
+            repackaged for publication [Git revision: 2020-12-08 19:00:50].
          </item><item>
             <notice class="gamma" text="2020-02-27."/>
-            repackaged without λδ-ground_2.
+            repackaged without λδ-ground [Git revision: 2020-02-27 22:45:50].
          </item><item>
             <notice class="gamma" text="2019-11-19."/>
             released [Git revision: 2019-11-19 20:45:15].
@@ -110,10 +110,10 @@
          <rlink to="html/documentation.html#ldR2c">Documentation (R2c)</rlink>.
          <list><item>
             <notice class="delta" text="2020-02-27."/>
-            repackaged on the basis of λδ-ground_2.
+            repackaged on the basis of λδ-ground [Git revision: 2020-02-27 22:45:50].
          </item><item>
             <notice class="delta" text="2019-11-20."/>
-            repackaged (was lambdadelta_2A1).
+            repackaged (was lambdadelta_2A1) [Git revision: 2019-11-20 19:08:07].
          </item><item>
             <notice class="gamma" text="2014-10-28."/>
             released [Git revision: 2014-10-28 17:46:26].
@@ -136,7 +136,7 @@
          Source scripts.
          <list><item>
             <notice class="gamma" text="2020-12-08."/>
-            repackaged for publication.
+            repackaged for publication [Git revision: 2020-12-08 19:00:50].
          </item><item>
             <notice class="gamma" text="2020-02-27."/>
             released [Git revision: 2020-02-27 22:45:50].
@@ -144,7 +144,7 @@
       </body>
       <body>
          Informational pages on the parts of the specification:
-         <rlink to="html/ground_2.html">Core</rlink>.
+         <rlink to="html/ground.html">Core</rlink>.
       </body>
    </topitem>
 
@@ -164,7 +164,7 @@
          <rlink to="html/documentation.html#ldJ1a">Documentation (J1a)</rlink>.
          <list><item>
             <notice class="delta" text="2019-11-20."/>
-            repackaging (was lambdadelta_1).
+            repackaging (was lambdadelta_1) [Git revision: 2019-11-20 19:08:07].
          </item><item>
             <notice class="delta" text="2015-01-15."/>
             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 c455702448fa7a1b9b4b58c63dcb7eb772bad71b..82019a3bea72f3bd633da5d1c1e78ad4fc8557be 100644 (file)
--- 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).
    </news>
    <news class="gamma" date="2020-02-27.">
-         λδ-2B is repackaged without λδ-ground_2.
+         λδ-2B is repackaged without λδ-ground.
    </news>
    <news class="gamma" date="2019-11-19.">
          λδ-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 e5896ae7b8b61c0c8a7e8d5b865e27bbc8d9cf8b..4fb504ad26aa4e1790431da8754679b15fd48ffb 100644 (file)
--- 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 @@
    <table name="basic_2A_sum"/>
 
    <news class="delta" date="2020-02-27.">
-         λδ-2A is repackaged without λδ-ground_2.
+         λδ-2A is repackaged without λδ-ground.
    </news>
    <news class="delta" date="2019-11-20.">
          λδ-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 79e15a5419105e4f6ca7dd021b537d072914a6e8..10ede27258bcc10c95df437733eb2b74b867db71 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
@@ -48,7 +48,7 @@
    <section4 name="structure">Logical Structure of the Specification</section4>
    <body>This table reports the specification's components and their planes.
    </body>
-   <table name="ground_2_src"/>
+   <table name="ground_src"/>
 
    <footer/>
 </page>
diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index 0dfbaaecf7f81f79284dd04e755d5f749bf2d60b..2ca13aee927b02499ea9a74a053b0c3baf26e9cc 100644 (file)
--- 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"
Unnamed repository; edit this file 'description' to name the repository.