From 9554ed555d9c744d7dfb787ccdaa6fc63eb6ba10 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 18 Sep 2019 18:36:13 +0200 Subject: [PATCH 1/1] new web site page MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit change log for λδ begins --- .gitignore | 1 + helm/www/lambdadelta/alt.sh | 1 + helm/www/lambdadelta/web/home/changes.ldw.xml | 17 +++ helm/www/lambdadelta/web/home/changes.tbl | 118 ++++++++++++++++++ 4 files changed, 137 insertions(+) create mode 100644 helm/www/lambdadelta/alt.sh create mode 100644 helm/www/lambdadelta/web/home/changes.ldw.xml create mode 100644 helm/www/lambdadelta/web/home/changes.tbl diff --git a/.gitignore b/.gitignore index a49af21b8..e7228e3ba 100644 --- a/.gitignore +++ b/.gitignore @@ -66,6 +66,7 @@ helm/www/lambdadelta/xslt/documentation_3.xsl helm/www/lambdadelta/xslt/sitemap.xsl helm/www/lambdadelta/xslt/versions.xsl helm/www/lambdadelta/xslt/core.xsl +helm/www/lambdadelta/xslt/changes.xsl helm/www/lambdadelta/xslt/chc_45.xsl helm/www/lambdadelta/xslt/xhtbl.xsl diff --git a/helm/www/lambdadelta/alt.sh b/helm/www/lambdadelta/alt.sh new file mode 100644 index 000000000..80a326f64 --- /dev/null +++ b/helm/www/lambdadelta/alt.sh @@ -0,0 +1 @@ +sed s?lambdadelta.info?www.cs.unibo.it/~fguidi/lambdadelta?g html/$1.html > html/$1.alt.html diff --git a/helm/www/lambdadelta/web/home/changes.ldw.xml b/helm/www/lambdadelta/web/home/changes.ldw.xml new file mode 100644 index 000000000..4287ac584 --- /dev/null +++ b/helm/www/lambdadelta/web/home/changes.ldw.xml @@ -0,0 +1,17 @@ + + + + + + Changes + + + + +
+ diff --git a/helm/www/lambdadelta/web/home/changes.tbl b/helm/www/lambdadelta/web/home/changes.tbl new file mode 100644 index 000000000..d25be28c7 --- /dev/null +++ b/helm/www/lambdadelta/web/home/changes.tbl @@ -0,0 +1,118 @@ +name "changes" + +table { + class "gray" + [ "version" [ "aspect" [ "" "changes" ]] + ] + + class "orange" + [ { "λδ-2B" + "(unreleased)" * } + { + [ [{ "equivalences" * }] + { "+" "+" "+" "-" } + { "equivalence for full rt-reduction (terms)" + "equivalence for whd rt-reduction (terms)" + "equivalence for extended rt-reduction (terms, referred lenvs, closures)" + "syntactic equivalence (closures) removed" + } + ] + [ [{ "weights" * }] + { "+" } + { "switch in primitive order relations for closures to enable the exclusion binder" + } + ] + [ [{ "relocation" * }] + { "" } + { "" + } + ] + [ [{ "syntax" * }] + { "+" } + { "exclusion binder for lenvs" + } + ] + [ [{ "ground" * }] + { "+" "*" "+" "-" } + { "rt-transition counters" + "generic reference transforming maps as streams of non-negative integers" + "extensional equality, labelled transitive closures and streams" + "non-negative integers with infinity removed" + } + ] + } + ] + + class "orange" + [ { "λδ-2A" + "(October 2014)" * } + { + [ [{ "equivalences" * }] + { "+" } + { "syntactic equivalence (selected lenvs, referred lenvs, closures)" + } + ] + [ [{ "weights" * }] + { "*" "-" } + { "primitive order relations for closures" + "complex weight (terms) removed" + } + ] + [ [{ "relocation" * }] + { "-" } + { "level update functions removed" + } + ] + [ [{ "syntax" * }] + { "+" "+" "+" "-" "-" } + { "polarized binders for terms" + "non-negative integer global references for terms" + "syntactic support for genvs with typed abstraction, abbreviation" + "numbered sorts, application, type annotation removed from lenvs" + "exclusion binder removed from terms and lenvs" + } + ] + [ [{ "ground" * }] + { "+" "+" } + { "lists and non-negative integers with infinity" + "library extension for transitive closures and booleans" + } + ] + } + ] + + class "red" + [ { "λδ-1A" + "(November 2006)" * } + { + [ [{ "equivalences" * }] + { "" } + { "equivalence for outer reduction (terms)" + } + ] + [ [{ "weights" * }] + { "" "" "" } + { "order relations (terms, lenvs, closures) based on weights" + "simple weights (terms, lenvs, closures)" + "complex weight (terms)" + } + ] + [ [{ "relocation" * }] + { "" } + { "level update functions" + } + ] + [ [{ "syntax" * }] + { "" "" } + { "lenvs with non-negative integer sorts, application, typed abstraction, abbreviation, exclusion, type annotation" + "terms with non-negative integer sorts and local references, application, typed abstraction, abbreviation, exclusion, type annotation" } + ] + [ [{ "ground" * }] + { "" "" } + { "finite reference transforming maps as compositions of basic ones" + "library extension for logic and non-negative integers" + } + ] + } + ] + +} + +class "center" { 2 } -- 2.39.2