From 25577a78cccba09974c91fcbfea770091a413382 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 28 Oct 2014 16:46:26 +0000 Subject: [PATCH] - milestone update in basic_2 (basic_2a released) - web site refactoring, update and bugfix --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 119 +++++++++---- helm/www/lambdadelta/basic_2.html | 167 ++++++++++++------ helm/www/lambdadelta/css/ld_web.css | 23 +++ helm/www/lambdadelta/documentation.html | 88 ++++----- helm/www/lambdadelta/download/lambdadelta.bib | 4 +- helm/www/lambdadelta/download/lambdadelta.txt | 4 +- .../lambdadelta/download/lambdadelta_2.tar.gz | Bin 188815 -> 188848 bytes helm/www/lambdadelta/ground_2.html | 130 ++++++++++---- helm/www/lambdadelta/implementation.html | 46 ++--- helm/www/lambdadelta/index.html | 68 ++++++- helm/www/lambdadelta/news.html | 113 ++++-------- helm/www/lambdadelta/specification.html | 62 +++++-- .../web/home/documentation.ldw.xml | 16 +- .../lambdadelta/web/home/documentation_1.tbl | 48 ++--- .../lambdadelta/web/home/documentation_2.tbl | 24 +-- .../web/home/implementation.ldw.xml | 46 ++--- helm/www/lambdadelta/web/home/index.ldw.xml | 48 ++++- helm/www/lambdadelta/web/home/news.ldw.xml | 91 +++------- helm/www/lambdadelta/web/home/sitemap.tbl | 4 +- .../web/home/specification.ldw.xml | 40 +++-- helm/www/lambdadelta/web/home/versions.tbl | 8 +- helm/www/lambdadelta/xslt/ld_web_root.xsl | 6 +- 23 files changed, 713 insertions(+), 444 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index dab2d5b6a..9f11f7838 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Wed, 22 Oct 2014 20:00:29 +0200
+
Last update: Tue, 28 Oct 2014 17:45:56 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index fd455ae47..03b91ddfe 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -6,8 +6,8 @@ - - applications of \lambda\delta version 2 + + \lambda\delta home page @@ -23,33 +23,99 @@
[Spacer]
-
Contents of the Specification
+
+
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ home + + news + + documentation + + specification + +
+
+ implementation +
+ foreword + + milestones + + version 2 + + version 2 + (background - core - applications) + library +
+ citations + + visibility + + version 1 + + version 1 + +
+
+ helena +
+
+ +
Contents of the Specification [spacer] +
This specification comprises a collection of checked applications of λδ version 2. In particular it contains the components below.
-