From 0b2cf1b25d45ffb80b27416e057a58e3dc3f257d Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 24 Aug 2012 17:23:13 +0000 Subject: [PATCH] - Makefile update - for now the page related to BTM is committed here ... --- helm/www/lambda_delta/BTM.html | 25 ++++++++++++++++++++++ helm/www/lambda_delta/Makefile | 6 ++++-- helm/www/lambda_delta/apps_2.html | 4 ++-- helm/www/lambda_delta/basic_2.html | 4 ++-- helm/www/lambda_delta/bin/xhtbl/Makefile | 12 +++++------ helm/www/lambda_delta/web/home/BTM.ldw.xml | 15 +++++++++++++ 6 files changed, 54 insertions(+), 12 deletions(-) create mode 100644 helm/www/lambda_delta/BTM.html create mode 100644 helm/www/lambda_delta/web/home/BTM.ldw.xml diff --git a/helm/www/lambda_delta/BTM.html b/helm/www/lambda_delta/BTM.html new file mode 100644 index 000000000..df98ff499 --- /dev/null +++ b/helm/www/lambda_delta/BTM.html @@ -0,0 +1,25 @@ + + + + + + + + + + BTM + + + + + +
[lambda_delta home]
cic:/matita/BTM/
[Spacer]
+
Character classes
+
This table shows how the first 45 positive integers + are distributed in the four classes. +
+
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: 2012-08-24T19:13:53+02:00
+ + diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile index 982c1ff1d..65437a483 100644 --- a/helm/www/lambda_delta/Makefile +++ b/helm/www/lambda_delta/Makefile @@ -1,9 +1,9 @@ H=@ -TAGS = lint-xml index lddl install-xml \ +TAGS = www up \ + lint-xml index lddl install-xml \ test-html html install-html \ install-jed install-bib \ - www up LDDLURL = http://lambda-delta.info/static/lddl @@ -39,6 +39,8 @@ XMLS = brg_si/grundlagen/l/not.ld.xml \ XMLLINT = xmllint --noout XSLT = xsltproc +all: www + lint-xml: $(XMLS:%=$(XMLDIR)/%) @echo XMLLINT --valid $(H)$(XMLLINT) --valid $^ diff --git a/helm/www/lambda_delta/apps_2.html b/helm/www/lambda_delta/apps_2.html index 40c88196a..7527557c9 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




sizesfiles5bytes13143

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-07-29T19:44: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-08-24T19:07:32+02:00
diff --git a/helm/www/lambda_delta/basic_2.html b/helm/www/lambda_delta/basic_2.html index 872235a74..1ea8c5b09 100644 --- a/helm/www/lambda_delta/basic_2.html +++ b/helm/www/lambda_delta/basic_2.html @@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles178bytes655019

propositionstheorems64lemmas768total832
conceptsdeclared38defined66total104
+
  • In progress. Context-sensitive subject equivalence for native type assignment. @@ -80,6 +80,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-07-29T19:44: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-08-24T19:07:32+02:00
    diff --git a/helm/www/lambda_delta/bin/xhtbl/Makefile b/helm/www/lambda_delta/bin/xhtbl/Makefile index df0833cca..83fa1ba12 100644 --- a/helm/www/lambda_delta/bin/xhtbl/Makefile +++ b/helm/www/lambda_delta/bin/xhtbl/Makefile @@ -10,12 +10,12 @@ include Makefile.common XSLT = xsltproc XHTBL = ./xhtbl.native -LDURL = http://lambda-delta.info/ -XSLDIR = ../../xslt/ -SRCDIR = ../../web/home/ -LDSRCDIR = ../../etc/lambda_delta/ -HOMEDIR = ../../ -TBLDIRS = $(SRCDIR) $(LDSRCDIR) +LDURL = http://lambda-delta.info/ +XSLDIR = ../../xslt/ +SRCDIR = ../../web/home/ +ETCDIR = ../../etc/ +HOMEDIR = ../../ +TBLDIRS = $(SRCDIR) $(ETCDIR) LDWS = $(shell find $(SRCDIR) -name "*.ldw.xml") TBLS = $(shell find $(TBLDIRS) -name "*.tbl") diff --git a/helm/www/lambda_delta/web/home/BTM.ldw.xml b/helm/www/lambda_delta/web/home/BTM.ldw.xml new file mode 100644 index 000000000..141113108 --- /dev/null +++ b/helm/www/lambda_delta/web/home/BTM.ldw.xml @@ -0,0 +1,15 @@ + + + +
    Character classes
    + This table shows how the first 45 positive integers + are distributed in the four classes. + + + +
    + -- 2.39.2