From 09f1f9fce2c91552dbb218276560d28ddc5f7a70 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 13 Jul 2012 19:08:47 +0000 Subject: [PATCH] - we added a time specification in the generated web pages - update in basic_2 --- helm/www/lambda_delta/apps_2.html | 4 ++-- helm/www/lambda_delta/basic_2.html | 14 +++++++++++--- helm/www/lambda_delta/web/home/basic_2.ldw.xml | 8 ++++++++ helm/www/lambda_delta/web/home/basic_2_src.tbl | 16 +++++++++------- helm/www/lambda_delta/xslt/ld_web_root.xsl | 2 +- 5 files changed, 31 insertions(+), 13 deletions(-) diff --git a/helm/www/lambda_delta/apps_2.html b/helm/www/lambda_delta/apps_2.html index cf6871d61..a297d9835 100644 --- a/helm/www/lambda_delta/apps_2.html +++ b/helm/www/lambda_delta/apps_2.html @@ -32,7 +32,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles5bytes13121

propositionstheorems4lemmas1total5
conceptsdeclared3defined10total13
+
categoryobjects




sizesfiles5bytes13122

propositionstheorems4lemmas1total5
conceptsdeclared3defined10total13
@@ -57,6 +57,6 @@
The source files are grouped in directories, one for each component.
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-06-20+02:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-07-13T18:42:36+02:00
diff --git a/helm/www/lambda_delta/basic_2.html b/helm/www/lambda_delta/basic_2.html index f59414c94..c4501f60b 100644 --- a/helm/www/lambda_delta/basic_2.html +++ b/helm/www/lambda_delta/basic_2.html @@ -29,11 +29,19 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles164bytes629080

propositionstheorems61lemmas682total743
conceptsdeclared37defined48total85
+
categoryobjects




sizesfiles153bytes580977

propositionstheorems60lemmas669total729
conceptsdeclared37defined50total87
+ +