From bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 13 Jul 2014 14:32:20 +0000 Subject: [PATCH] now the "news" page is generated --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_2.html | 2 +- helm/www/lambdadelta/ground_2.html | 2 +- helm/www/lambdadelta/index.html | 6 +- helm/www/lambdadelta/news.html | 497 ++++++++++-------- helm/www/lambdadelta/version_1.html | 8 +- helm/www/lambdadelta/version_2.html | 6 +- helm/www/lambdadelta/web/home/index.ldw.xml | 4 + helm/www/lambdadelta/web/home/news.ldw.xml | 123 +++++ .../lambdadelta/web/home/version_1.ldw.xml | 6 +- .../lambdadelta/web/home/version_2.ldw.xml | 4 +- helm/www/lambdadelta/xslt/ld_web_root.xsl | 2 +- 13 files changed, 413 insertions(+), 251 deletions(-) create mode 100644 helm/www/lambdadelta/web/home/news.ldw.xml diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index ade75b80e..d21660ea7 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Mon, 07 Jul 2014 23:14:52 +0200
+
Last update: Sun, 13 Jul 2014 15:47:14 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index e966660a9..40e52f117 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@

-
Last update: Mon, 07 Jul 2014 23:14:52 +0200
+
Last update: Sun, 13 Jul 2014 15:47:14 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 11960faa3..b858c6cc3 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -1300,6 +1300,6 @@

-
Last update: Mon, 07 Jul 2014 23:14:52 +0200
+
Last update: Sun, 13 Jul 2014 15:47:14 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 512871de4..684c81c6c 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -234,6 +234,6 @@

-
Last update: Mon, 07 Jul 2014 23:14:52 +0200
+
Last update: Sun, 13 Jul 2014 15:47:14 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 20833265c..2520a4102 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -161,6 +161,10 @@ +
+ This is the System logo: crux_177.png + (revised 2012-09). +
Notice for the Internet Explorer user [spacer]
@@ -198,6 +202,6 @@

-
Last update: Mon, 07 Jul 2014 23:14:51 +0200
+
Last update: Sun, 13 Jul 2014 16:13:35 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 3c09bce6a..8391452ae 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -1,276 +1,307 @@ - - - - - λδ home page - - - - - -

-[Crux Logo] -

The Formal System λδ (\lambda\delta)
-

-

Towards the unification of terms, types, environments and contexts

-[Separator]
- - - - - - - -
- -
    -
  • News
  • -
- - -
-

News [Butterfly]

- + + + + + + + + + + \lambda\delta home page + + + + + + +
+ + [lambdadelta home] + +
+
The Formal System λδ (\lambda\delta)
+
+ [Spacer] +
+
+
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ foreword + + news + + documentation + + implementation + +
+
+
+
+
+
+
+
+
+
+
+
+ Version 2 + + Background + + Core + + Applications +
+
+
+
+
+
+
+ Version 1 + +
+
+
+
+
+
+
+ +
Milestones [spacer] +
+
    -
      -
    • The denomination "\lambda\delta" is used in λδ-related -texts.
    • -
    • The denomination "lambdadelta" is used in λδ-related -identifiers.
    • -
    • Permanent λδ URL acquired: http://lambdadelta.info/ -(pointing at this site).
    • -
    +
  • + December 2012. + The character "_" is removed from the denomination "lambda_delta": +
      +
    • + The denomination "\lambda\delta" is used in λδ-related texts. +
    • +
    • + The denomination "lambdadelta" is used in λδ-related identifiers. +
    • +
    • + Permanent λδ URL acquired: + http://lambdadelta.info/ + (pointing at this site). +
    • +
    +
    -
  • September 2011. The -denomination "lambda-delta" changes to "lambda_delta". -
      -
    • The character "-" is reserved in λδ textual syntax -(recognized by Helena 0.8.1). +
    • + September 2011. + The denomination "lambda-delta" changes to "lambda_delta": +
        +
      • + The character "-" is reserved in λδ textual syntax + (recognized by "Helena 0.8.1").
      • -
      • Eventually, the occurrences of the character "-" will -be replaced by "_" in all λδ-related identifiers.
      • -
      • In particular, this refactoring involves file names and -path names.
      • -
      -
    • +
    • + Eventually, the occurrences of the character "-" + will be replaced by "_" in all λδ-related identifiers. +
    • +
    • + In particular, this refactoring involves file names and path names. +
    • +
    +
    -
  • April 2011. The -specification of λδ version 2 and related topics is restarted in Matita 0.5. -
      -
    • Here is a page about the -topics related to the specification (Applications).
    • -
    • Here is a page about the -specification (Core).
    • -
    • Here is a page about the -background of the specification (Ground).
    • -
    -
  • +
  • + April 2011. + The specification of λδ version 2 + and related topics is restarted in + Matita 0.5. +
    -
  • December 2010. -Transient λδ URL acquired: http://lambda-delta.info/ -(expires on December 2012).
    -
  • +
  • + December 2010. + Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012). +
    -
  • November 2010. Helena 0.8.1 is released.
    -
  • +
  • + November 2010. + "Helena 0.8.1" is released. +
-
    -
  • September 2008. -This site is online.
    -
  • +
  • + September 2008. + This site is online. +
-
    -
  • May 2008. The -specification of λδ version 1 is dismissed.
    -
  • +
  • + May 2008. + The specification of λδ version 1 is dismissed. +
    -
  • March 2008. The -specification of λδ version 2 is started with Coq 7.3.1 (false start).
  • +
  • + March 2008. + The specification of λδ version 2 is started with Coq 7.3.1 (false start). +
- -

Visibility [Butterfly]

+
+ +
Visibility [spacer] +
+
    -
  • June 2014. The Google search for formal system lambda delta gives -5 resources about λδ in the first 6 results.
    -
  • +
  • + June 2014. + The Google + search for "formal system lambda delta" gives + 5 resources about λδ in the first 6 results. +
    -
  • June 2014. The Yahoo search formal system lambda delta gives -4 resources about λδ in the first 5 results.
  • +
  • + June 2014. + The Yahoo + search for "formal system lambda delta" gives + 4 resources about λδ in the first 5 results. +
-
-
-[Valid HTML 4.01 Transitional] [Use Any
-          Browser Here] [PNG Used Here]
-
-Last update 2014-06-19 by Ferruccio -Guidi
-
+ + +
+ [Spacer] +
+
+
+
+
+ + [Valid XHTML 1.1] + + + [Valid CSS level 2] + + + [Generated from XML via XSL] + + + [PNG used here] + + + [Viewable with any browser] + +
+
+
+
+
Last update: Sun, 13 Jul 2014 15:59:00 +0200
diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index 033307fc5..b76aab942 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.html @@ -107,7 +107,7 @@
The formal specification of λδ version 1 is available in the following formats: -