From: Ferruccio Guidi Date: Wed, 17 Nov 2010 22:05:52 +0000 (+0000) Subject: we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css X-Git-Tag: make_still_working~2700 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1bcb1921390d24e02d716614648e749bac6f5933;p=helm.git we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css --- diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile index 893d7e3e1..d8aa348f4 100644 --- a/helm/software/lambda-delta/Makefile +++ b/helm/software/lambda-delta/Makefile @@ -11,7 +11,7 @@ KEEP = README CLEAN = etc/log.txt etc/profile.txt TAGS = test-si test-si-fast profile xml-si xml-si-crg html test-html \ - install-html install-lddl install-dtd install-xml + install-html install-lddl install-dtd install-xml instal-css XMLS = xml/brg-si/grundlagen/l/not.ld.xml \ @@ -30,6 +30,8 @@ include Makefile.common INPUT = examples/grundlagen/grundlagen.aut +SLS = helena.sl automath.sl + test-si: $(MAIN).opt etc @echo " HELENA -p -o -c $(INPUT)" $(H)./$(MAIN).opt -p -o -c -S 3 $(O) $(INPUT) > etc/log.txt @@ -89,7 +91,11 @@ install-lddl: index install-dtd: xml/ld.dtd @echo " INSTALL $<" - $(H)scp $< $(XMLDIR) + $(H)scp $< $(XMLDIR) + +install-css: xml/ld-html.css + @echo " INSTALL $<" + $(H)scp $< $(LDDLDIR) install-xml: etc/make-html.sh @echo " INSTALL xml" @@ -98,3 +104,7 @@ install-xml: etc/make-html.sh install-icons: @echo " INSTALL *.png *.ico" $(H)scp icons/*.png icons/*.ico $(DOWNDIR) + +install-jed: + @echo " INSTALL $(SLS)" + $(H)scp $(SLS:%=$(HOME)/jed/%) $(DOWNDIR) diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/lambda-delta/xml/ld-html-entity.xsl index 84eea2c23..689eb1420 100644 --- a/helm/software/lambda-delta/xml/ld-html-entity.xsl +++ b/helm/software/lambda-delta/xml/ld-html-entity.xsl @@ -11,14 +11,18 @@ \ / This software is distributed as is, NO WARRANTY. V_______________________________________________________________ --> - +

- Declaration: - + + Declaration: + +

@@ -26,8 +30,10 @@

- Definition: - + + Definition: + +

diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl index 3120f0960..5cb16515b 100644 --- a/helm/software/lambda-delta/xml/ld-html-library.xsl +++ b/helm/software/lambda-delta/xml/ld-html-library.xsl @@ -11,12 +11,9 @@ \ / This software is distributed as is, NO WARRANTY. V_______________________________________________________________ --> - - -color: rgb(128, 0, 255); -color: rgb(255, 0, 0); -color: rgb(0, 160, 0); -color: rgb(0, 0, 255); + @@ -47,81 +44,69 @@ - - [ - + [ - - ] - + ] - - < - + < - - > - + > - - : - + : - - = + = + + + + + - - - - - &Pi; - - - - &Pi; - - - &lambda; - - - &lambda; - &infin; - - - &lambda; - - - - + + + + &Pi; + + + + &Pi; + + + &lambda; + + + &lambda; + &infin; + + + &lambda; + + + - - - &delta; - + + &delta; - - - &chi; - + + &chi; @@ -133,7 +118,7 @@ - +
@@ -148,24 +133,24 @@
- - - - - + + + - + - + - + - + + + @@ -177,7 +162,7 @@ - + @@ -189,14 +174,13 @@ - - + @@ -204,9 +188,11 @@ - + - + + + @@ -219,7 +205,7 @@ - + @@ -235,7 +221,7 @@ - + @@ -254,7 +240,7 @@ - + @@ -272,15 +258,19 @@ - + + + - + + + -
Informal description: ""

+
Informal description: ""

diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl index 4a525a742..242baf286 100644 --- a/helm/software/lambda-delta/xml/ld-html-root.xsl +++ b/helm/software/lambda-delta/xml/ld-html-root.xsl @@ -11,20 +11,28 @@ \ / This software is distributed as is, NO WARRANTY. V_______________________________________________________________ --> - + - - - + + + + + + lambda-delta digital library (LDDL) + - -

+
Validation parameters: sort hierarchy = "", diff --git a/helm/software/lambda-delta/xml/ld-html-term.xsl b/helm/software/lambda-delta/xml/ld-html-term.xsl index 4edec396f..4e0c488b5 100644 --- a/helm/software/lambda-delta/xml/ld-html-term.xsl +++ b/helm/software/lambda-delta/xml/ld-html-term.xsl @@ -11,62 +11,86 @@ \ / This software is distributed as is, NO WARRANTY. V_______________________________________________________________ --> - + + + + + + + - + - + + + - + + + - - - - + + + + + + - - - - + + + + + + - - - - - - + + + + + + + + + - - - - - - + + + + + + + + + - - - - - + + + + + + + diff --git a/helm/software/lambda-delta/xml/ld-html.css b/helm/software/lambda-delta/xml/ld-html.css new file mode 100644 index 000000000..54728c805 --- /dev/null +++ b/helm/software/lambda-delta/xml/ld-html.css @@ -0,0 +1,41 @@ +@charset "UTF-8"; + +a:link, a:visited { + text-decoration: underline; +} + +a:active, a:hover, a:focus { + background: rgb(192, 255, 255); +} + +.separator { + color: rgb(0, 0, 0); +} + +.sort { + color: rgb(128, 0, 255); +} + +.lref { + color: rgb(0, 0, 0); +} + +.gref { + color: rgb(0, 0, 255); +} + +.appl { + color: rgb(0, 0, 0); +} + +.cast { + color: rgb(255, 0, 0); +} + +.local { + color: rgb(0, 160, 0); +} + +.global { + color: rgb(0, 0, 0); +} diff --git a/helm/software/lambda-delta/xml/ld-html.xsl b/helm/software/lambda-delta/xml/ld-html.xsl index b5ed85342..d21a6bbf9 100644 --- a/helm/software/lambda-delta/xml/ld-html.xsl +++ b/helm/software/lambda-delta/xml/ld-html.xsl @@ -11,7 +11,9 @@ \ / This software is distributed as is, NO WARRANTY. V_______________________________________________________________ --> - + @@ -21,9 +23,9 @@