From: Ferruccio Guidi Date: Sat, 7 Aug 2010 11:37:52 +0000 (+0000) Subject: some inprovements on the generated html pages X-Git-Tag: make_still_working~2843 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b512c5a623a411cf8473367ac5bb6d8c9c7f7721;p=helm.git some inprovements on the generated html pages --- diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile index 353b70187..a690738d3 100644 --- a/helm/software/lambda-delta/Makefile +++ b/helm/software/lambda-delta/Makefile @@ -23,6 +23,8 @@ XMLS = xml/brg-si/grundlagen/l/not.ld.xml \ include Makefile.common +LDDLDIR = ../../../public_html/lddl + HOME = . INPUT = examples/grundlagen/grundlagen.aut diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/lambda-delta/xml/ld-html-entity.xsl index ac30dacbf..84eea2c23 100644 --- a/helm/software/lambda-delta/xml/ld-html-entity.xsl +++ b/helm/software/lambda-delta/xml/ld-html-entity.xsl @@ -20,6 +20,7 @@ Declaration: +
@@ -28,6 +29,7 @@ Definition: +
diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl index cf6857d65..86e7c449d 100644 --- a/helm/software/lambda-delta/xml/ld-html-library.xsl +++ b/helm/software/lambda-delta/xml/ld-html-library.xsl @@ -148,4 +148,8 @@ + +
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 13668ee51..1c7423397 100644 --- a/helm/software/lambda-delta/xml/ld-html-root.xsl +++ b/helm/software/lambda-delta/xml/ld-html-root.xsl @@ -24,16 +24,23 @@ href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico" /> -

- + -

-
+

λδ Digital Library (LDDL)

+ [Separator] +
+ +

[Valid HTML 4.01 Transitional] -

+