]> 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 (parent: 48960c1)
λδ-2B and λδ-ground repackaged for publication
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 Dec 2020 18:00:50 +0000 (19:00 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 Dec 2020 18:00:50 +0000 (19:00 +0100)
+ web site update

helm/www/lambdadelta/Makefile patch | blob | history
helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2 patch | blob | history
helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 patch | blob | history
helm/www/lambdadelta/web/home/documentation.ldw.xml 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/ground/web/ground.ldw.xml patch | blob | history

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index c654d6abf35928269b8931c6ded5b38c533dcb6b..063bdbe176ccd8ab6c306370d60ca922b6caf3b9 100644 (file)
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -46,7 +46,6 @@ TABLES      = $(XSLTDIR)/xhtbl.xsl
 
 SLS     = helena.sl automath.sl
 BIB     = lambdadelta.bib
-CONTRIB = lambdadelta_2.tar.gz
 
 XMLS = Environment/grundlagen_2/l/not.ld.xml \
        Environment/grundlagen_2/l/et.ld.xml \
diff --git a/helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2 b/helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2
index 25d8b9150b611874670933190e52763ce9837d43..62023c1b5a05f447e4532519ccbcbb7a3c3de713 100644 (file)
Binary files a/helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2 and b/helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2 differ
diff --git a/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 b/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2
index 9aecee1bdaa8a2e5ed05e093b23584550c7b42db..bdc1ebb3512b11b35aa78b1b68790e4c9ec14a82 100644 (file)
Binary files a/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 and b/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 differ
diff --git a/helm/www/lambdadelta/web/home/documentation.ldw.xml b/helm/www/lambdadelta/web/home/documentation.ldw.xml
index c52aa3931470c2ff9e58db07f2d54f1a05fce531..35b3a1ca7ebaf171a513cf0227d388fbfa3c12ed 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/documentation.ldw.xml
@@ -11,9 +11,9 @@
    <section4 name="bibtex">Documentation</section4>
    <body>
       BibTeX database of λδ documentation:
-      <notice class="alpha" notice="download"/>
+      <notice class="alpha" notice="download "/>
       <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
-      <notice class="alpha" notice="view"/>
+      <notice class="alpha" notice="view "/>
       <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
       (revised <notice class="gamma" notice="2020-12"/>).
    </body>
diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index 11b564b997b11b8f21237895532f333f915a2763..df3661e223cfc9d02c435111e238d8b88bb22ddd 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -22,10 +22,17 @@
       as a set of machine-checked <rlink to="html/specification.html">digital specifications</rlink>.
    </body>
    <topitem name="current">
-      <notice class="alpha" text="Current version: "/>
-      <rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
-      (released: <notice class="gamma" notice="2019-11"/>).
-      <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
+      <body>
+        <notice class="alpha" text="The current version: "/>
+        <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>
+         (revised <notice class="gamma" text="2020-12"/>).
+      </body>
    </topitem>
    <body>
       This is the family logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
@@ -55,13 +62,13 @@
    <topitem name="C10">
       M. Weber:
       <notice class="alpha">An extended type system with lambda-typed lambda-expressions</notice>
-      (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
+      (2020). To appear in Logical Methods in Computer Science.
    </topitem>
 
    <topitem name="C9">
       M. Weber:
       <notice class="alpha">An extended type system with lambda-typed lambda-expressions (extended version)</notice>
-      (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
+      (2020). Technical report. Faculty of Computer Science, Technical University of Berlin.
    </topitem>
 
    <topitem name="C8">
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml
index 050a17328536089873fad5eb223d134d6a70351c..98dd5f11f0c2f973bc0552c4666410ed7b06b51b 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -76,10 +76,13 @@
    <topitem name="source2B">
       <body>
          <rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
-         (revised <notice class="gamma" text="2020-02"/>).
+         (revised <notice class="gamma" text="2020-12"/>).
          Source scripts.
          <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
          <list><item>
+            <notice class="gamma" text="2020-12-08."/>
+            repackaged for publication.
+         </item><item>
             <notice class="gamma" text="2020-02-27."/>
             repackaged without λδ-ground_2.
          </item><item>
@@ -129,9 +132,12 @@
    <topitem name="source2g">
       <body>
          <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
-         (revised <notice class="gamma" text="2020-02"/>).
+         (revised <notice class="gamma" text="2020-12"/>).
          Source scripts.
          <list><item>
+            <notice class="gamma" text="2020-12-08."/>
+            repackaged for publication.
+         </item><item>
             <notice class="gamma" text="2020-02-27."/>
             released [Git revision: 2020-02-27 22:45:50].
          </item></list>
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 e4b19cdd82414c0c2181504e396264ce0f779a1c..c455702448fa7a1b9b4b58c63dcb7eb772bad71b 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
@@ -26,6 +26,9 @@
    </body>
    <table name="basic_2_sum"/>
 
+   <news class="gamma" date="2020-12-08.">
+         λδ-2B is repackaged for publication.
+   </news>
    <news class="gamma" date="2020-09-25.">
          Improved theory of rst-transition.
    </news>
diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
index 30139a6076072b3ebcd4a1deb2b1ebae15e2300e..79e15a5419105e4f6ca7dd021b537d072914a6e8 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
@@ -14,31 +14,34 @@
    </body>
    <table name="ground_sum"/>
 
-   <news class="gamma" date="2020 February 27.">
+   <news class="gamma" date="2020-12-08.">
+         Specification is repackaged for publication.
+   </news>
+   <news class="gamma" date="2020-02-27.">
          Specification is released as an independent package (was ground_2).
    </news>
-   <news class="beta" date="2020 January 6.">
+   <news class="beta" date="2020-01-06.">
          Centralized xoa infrastructure removed.
    </news>
-   <news class="beta" date="2018 June 6.">
+   <news class="beta" date="2018-06-06.">
          Decentralized xoa infrastructure.
    </news>
-   <news class="beta" date="2016 April 18.">
+   <news class="beta" date="2016-04-18.">
          Generic rt-transition counter (rtc).
    </news>
-   <news class="beta" date="2016 March 4.">
+   <news class="beta" date="2016-03-04.">
          Platform-independent multiple relocation (rtmap).
    </news>
-   <news class="alpha" date="2016 January 20.">
+   <news class="alpha" date="2016-01-20.">
          Multiple relocation with streams of naturals.
    </news>
-   <news class="alpha" date="2015 October 11.">
+   <news class="alpha" date="2015-10-11.">
          Multiple relocation with lists of booleans.
    </news>
-   <news class="alpha" date="2013 November 27.">
+   <news class="alpha" date="2013-11-27.">
          Natural numbers with infinity (ynat).
    </news>
-   <news class="alpha" date="2011 August 10.">
+   <news class="alpha" date="2011-08-10.">
          Specification starts.
    </news>
 
Unnamed repository; edit this file 'description' to name the repository.