From: Ferruccio Guidi Date: Mon, 11 May 2015 13:06:32 +0000 (+0000) Subject: some changes in lambdadelta butterflies X-Git-Tag: make_still_working~723 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4 some changes in lambdadelta butterflies --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 348231c61..4e27ff561 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:25 +0100
+
Last update: Mon, 11 May 2015 15:05:36 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 4b2f19c27..e7b6ace35 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -258,6 +258,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 3ca64b57c..22be060a6 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -823,6 +823,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:25 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 3ab92f7d0..4fb47c1a3 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -1384,6 +1384,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css index b89905077..16fc502df 100644 --- a/helm/www/lambdadelta/css/ld_web.css +++ b/helm/www/lambdadelta/css/ld_web.css @@ -134,6 +134,10 @@ img.w3c { /* background colors ********************************************************/ +.white { + background-color:#ffffff; /* + 0 */ +} + .gray { background-color:#dfdfdf; /* + 7/8 */ } diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 276f568ad..8d424517e 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -389,6 +389,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index d0d97a9e1..2af7b79ba 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -275,6 +275,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:25 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 08790c17e..8ade57c70 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -328,6 +328,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/images/b15.png b/helm/www/lambdadelta/images/b15.png new file mode 100644 index 000000000..114a1eb7d Binary files /dev/null and b/helm/www/lambdadelta/images/b15.png differ diff --git a/helm/www/lambdadelta/images/b3.png b/helm/www/lambdadelta/images/b3.png index 3ed538923..eea2c8efa 100644 Binary files a/helm/www/lambdadelta/images/b3.png and b/helm/www/lambdadelta/images/b3.png differ diff --git a/helm/www/lambdadelta/images/b4.png b/helm/www/lambdadelta/images/b4.png index ccfd1a99a..9f2117e92 100644 Binary files a/helm/www/lambdadelta/images/b4.png and b/helm/www/lambdadelta/images/b4.png differ diff --git a/helm/www/lambdadelta/images/b5.png b/helm/www/lambdadelta/images/b5.png index 30cace1d1..877e505a6 100644 Binary files a/helm/www/lambdadelta/images/b5.png and b/helm/www/lambdadelta/images/b5.png differ diff --git a/helm/www/lambdadelta/images/b6.png b/helm/www/lambdadelta/images/b6.png index 39b8e2a0f..893007b26 100644 Binary files a/helm/www/lambdadelta/images/b6.png and b/helm/www/lambdadelta/images/b6.png differ diff --git a/helm/www/lambdadelta/images/b8.png b/helm/www/lambdadelta/images/b8.png index d2638f877..48b550ec7 100644 Binary files a/helm/www/lambdadelta/images/b8.png and b/helm/www/lambdadelta/images/b8.png differ diff --git a/helm/www/lambdadelta/images/b9.png b/helm/www/lambdadelta/images/b9.png index 0de559867..ff982a9ac 100644 Binary files a/helm/www/lambdadelta/images/b9.png and b/helm/www/lambdadelta/images/b9.png differ diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index a0d1b7ce4..3b43f18b0 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -269,6 +269,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index f5932556b..ce3e4a3b9 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -202,6 +202,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index f9de6ec95..212eb91d3 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -354,6 +354,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 412740783..5cb1af416 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,16 +62,16 @@ milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + library @@ -84,14 +84,14 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - - version 1 - - (background - core) - (static HELM directory) helena @@ -102,7 +102,7 @@ -
Computer-checked formal specifications [spacer] +
Computer-checked formal specifications [spacer]
λδ is developed as a machine-checked digital specification. @@ -328,6 +328,6 @@

-
Last update: Fri, 06 Mar 2015 17:53:24 +0100
+
Last update: Mon, 11 May 2015 15:05:35 +0200
diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl index e3c2b0525..af3b9f773 100644 --- a/helm/www/lambdadelta/web/home/sitemap.tbl +++ b/helm/www/lambdadelta/web/home/sitemap.tbl @@ -11,12 +11,7 @@ table [ [ @@("news#milestones" "milestones") * ] [ @@("news#visibility" "visibility") * ] } - class "orange" { - [ @@"documentation" * ] - [ @@("documentation#v2" "version 2") * ] - [ @@("documentation#v1" "version 1") * ] - } - class "green" { + class "white" { [ @@"specification" * ] [ @@("specification#v2" "version 2") "(" ^ @@("ground_2" "background") + "-" + @@ -29,6 +24,11 @@ table [ "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")" * ] } + class "orange" { + [ @@"documentation" * ] + [ @@("documentation#v2" "version 2") * ] + [ @@("documentation#v1" "version 1") * ] + } class "green" { [ @@"implementation" * ] [ @@("implementation#lddl" "library") diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 556549c39..407dc8054 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -7,7 +7,7 @@ > - Computer-checked formal specifications + Computer-checked formal specifications λδ is developed as a machine-checked digital specification. It comes in several versions listed in the next table, diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl index f47a9a942..ee9d21053 100644 --- a/helm/www/lambdadelta/xslt/ld_web_root.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl @@ -72,6 +72,16 @@
+ +
+ + + + + +
+ +