From: Ferruccio Guidi Date: Sun, 24 Feb 2013 18:25:57 +0000 (+0000) Subject: - xhtbl: now double quotes can appear in string literals X-Git-Tag: make_still_working~1246 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=56bae915998d8058aaa00da663faf75499561ba4;p=helm.git - xhtbl: now double quotes can appear in string literals built-in help completed --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 855b0ba11..85e9fe0d1 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -20,6 +20,6 @@
classcontents














p
147101316192225283134374043
q
5111517232933354145




s
268141820242632384244


t
39122127303639






-
[Spacer]

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

Last update: 2013-02-22T22:53:45+01:00
+
[Spacer]

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

Last update: 2013-02-24T19:22:42+01:00
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index bc8d09ec4..3d205af84 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -32,7 +32,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles5characters5613nodes10024
propositionstheorems4lemmas1total5
conceptsdeclared3defined10total13
+
categoryobjects




sizesfiles5characters5613nodes9842
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: 2013-02-22T22:53:45+01:00
+
[Spacer]

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

Last update: 2013-02-24T19:22:42+01:00
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 37a3e6f72..1130e7abb 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles245characters468891nodes1272831
propositionstheorems84lemmas1078total1162
conceptsdeclared43defined79total122
+
categoryobjects




sizesfiles245characters468891nodes1269949
propositionstheorems84lemmas1078total1162
conceptsdeclared43defined79total122