we improved the stylesheets and we generated the static HTML pages

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index a561cdd9f455fcf7dbe1571874dab59055a780d9..74154e0991f516faa7a77ed7cd1284ff70c03a55 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -36,11 +36,6 @@ xml-si: $(MAIN).opt
        @echo "  HELENA -u -x $(INPUT)"
        $(H)./$(MAIN).opt -u -x -s 2 -S 1 $(INPUT) > log.txt
 
-html: LDS = $(shell cat $<)
-
-html: xml/index.txt
-       @$(MAKE) --no-print-directory $(LDS:ld:/%=%)
-
 %.ld: BASEURL = --stringparam baseurl $(STATIC)
 
 %.ld:
@@ -48,5 +43,18 @@ html: xml/index.txt
        $(H)mkdir -p static/$(@D)
        $(H)$(XSLT) -o static/$@.html $(BASEURL) xml/ld-html.xsl xml/$@.xml
 
-index:
-       find xml -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > xml/index.txt
+make-html.sh xml/index.txt index:
+       @echo "  GENERATING INDEXES"
+       $(H)find xml -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > xml/index.txt
+       $(H)sed "s/^/make --no-print-directory /" xml/index.txt | sed s.ld:/.. > make-html.sh
+
+html: make-html.sh
+       @echo "  MAKE */*.ld"
+       $(H). $<
+
+test-html:
+       @$(MAKE) --no-print-directory $(XMLS:xml/%.xml=%) grundlagen/l/someapp.ld
+
+install-html:
+       @echo "  CP -r static/* /projects/helm/public_html/lambda-delta/static/"
+       $(H)cp -r static/* /projects/helm/public_html/lambda-delta/static/

diff --git a/helm/software/lambda-delta/xml/ld-html-entry.xsl b/helm/software/lambda-delta/xml/ld-html-entry.xsl
index d6dbedd45558cde29e4d5d6cb907b00c51ef3add..c80119f797e0b149c7480cfdf1c9518d15507115 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html-entry.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-entry.xsl
@@ -1,5 +1,16 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:strip-space elements="ABST ABBR VOID"/>

diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 9e09b447bf3c9994af2b7807b2a306275ac7650e..b640b0b0df1715bd28ccaefde0a9eb31218e19a2 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -1,13 +1,33 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
+<xsl:variable name="sort">color: rgb(128, 0, 255);</xsl:variable>
+<xsl:variable name="cast">color: rgb(255, 0, 0);</xsl:variable>
+<xsl:variable name="binder">color: rgb(0, 160, 0);</xsl:variable>
+<xsl:variable name="global">color: rgb(0, 0, 255);</xsl:variable>
+
 <xsl:template name="sp">
    <xsl:text> </xsl:text>
 </xsl:template>
 
+<xsl:template name="sl">
+   <xsl:text>/</xsl:text>
+</xsl:template>
+
 <xsl:template name="fs">
-   <xsl:text>.</xsl:text>
+   <xsl:text>.&#x200B;</xsl:text>
 </xsl:template>
 
 <xsl:template name="op">
@@ -19,31 +39,45 @@
 </xsl:template>
 
 <xsl:template name="oa">
-   <xsl:text>&lt;</xsl:text>
+   <span style="{$cast}">
+      <xsl:text>&lt;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="ca">
-   <xsl:text>&gt;</xsl:text>
+   <span style="{$cast}">
+      <xsl:text>&gt;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="cn">
-   <xsl:text>:</xsl:text>
+   <span style="{$binder}">
+      <xsl:text>:</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="eq">
-   <xsl:text>=</xsl:text>
+   <span style="{$binder}">
+      <xsl:text>=</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="lambda">
-   <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+   <span style="{$binder}">
+      <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="delta">
-   <xsl:text disable-output-escaping="yes">&amp;delta;</xsl:text>
+   <span style="{$binder}">
+      <xsl:text disable-output-escaping="yes">&amp;delta;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="chi">
-   <xsl:text disable-output-escaping="yes">&amp;chi;</xsl:text>
+   <span style="{$binder}">
+      <xsl:text disable-output-escaping="yes">&amp;chi;</xsl:text>
+   </span>
 </xsl:template>
 
 <xsl:template name="position">
@@ -58,19 +92,57 @@
       <xsl:value-of select="substring-after(@uri,'ld:')"/>
       <xsl:text>.html</xsl:text>
    </xsl:variable>
-   <a href="{$url}"><xsl:value-of select="@name"/></a>
+   <a href="{$url}" title="{@uri}"><xsl:value-of select="@name"/></a>
 </xsl:template>
 
 <xsl:template name="binder">
    <xsl:value-of select="@name"/>
 </xsl:template>
 
+<xsl:template name="global">
+   <span style="{$global}">
+      <xsl:value-of select="@name"/>
+   </span>   
+</xsl:template>
+
+<xsl:template name="mk_segment">
+   <xsl:param name="path"/>
+   <xsl:param name="name"/>
+   <xsl:variable name="url">
+      <xsl:value-of select="$baseurl"/>
+      <xsl:value-of select="substring-after($path,'ld:')"/>
+   </xsl:variable>
+   <a href="{$url}"><xsl:value-of select="$name"/></a>
+   <xsl:call-template name="sl"/>
+</xsl:template>
+
+<xsl:template name="mk_path">
+   <xsl:param name="rpath" select="@uri"/>
+   <xsl:variable name="newrpath" select="substring-after($rpath, '/')"/>
+   <xsl:choose>
+      <xsl:when test="$newrpath">
+         <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>   
+         <xsl:call-template name="mk_segment">
+            <xsl:with-param name="path" select="substring-before(@uri,$newrpath)"/>
+            <xsl:with-param name="name" select="substring-before($segment,'/')"/>
+         </xsl:call-template>
+        <xsl:call-template name="mk_path">
+           <xsl:with-param name="rpath" select="substring-after($rpath,'/')"/>
+        </xsl:call-template>
+      </xsl:when>
+      <xsl:otherwise>
+         <xsl:variable name="path" select="substring-before(@uri,$rpath)"/>
+        <xsl:value-of select="substring-after(@uri,$path)"/>
+      </xsl:otherwise>
+   </xsl:choose>
+</xsl:template>
+
 <xsl:template name="entry">
    <xsl:call-template name="sp"/>
-   <xsl:call-template name="uri"/>
+   <xsl:call-template name="global"/>
    <xsl:call-template name="sp"/>
    <xsl:call-template name="op"/>
-   <xsl:value-of select="@uri"/>
+   <xsl:call-template name="mk_path"/>
    <xsl:call-template name="cp"/>
 </xsl:template>
 

diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl
index 3a8cf88a2db36f918857c879624eb4326a9ce4c5..8ee5ebcae428268f41ee9e97386f740b3eadf38d 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html-root.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-root.xsl
@@ -1,5 +1,16 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:strip-space elements="ENTRY"/>

diff --git a/helm/software/lambda-delta/xml/ld-html-term.xsl b/helm/software/lambda-delta/xml/ld-html-term.xsl
index a83c08088d9108e12c972f71a5f60f7d5cc00617..083e7290febdac506f61fde4399b1b0eb46cfce4 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html-term.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-term.xsl
@@ -1,11 +1,24 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
 
 <xsl:template match="Sort">
-   <b><xsl:call-template name="position"/></b>
+   <span style="{$sort}">
+      <xsl:call-template name="position"/>
+   </span>
 </xsl:template>
 
 <xsl:template match="LRef">

diff --git a/helm/software/lambda-delta/xml/ld-html.xsl b/helm/software/lambda-delta/xml/ld-html.xsl
index b66dd6f526be7c2b71d5b39d60e9098074e34be6..f166025db30feca7de01cb1c8be484d0f58b29a9 100644 (file)
--- a/helm/software/lambda-delta/xml/ld-html.xsl
+++ b/helm/software/lambda-delta/xml/ld-html.xsl
@@ -1,5 +1,16 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
+<!--
+    ||M||  This file is part of HELM, an Hypertextual, Electronic        
+    ||A||  Library of Mathematics, developed at the Computer Science     
+    ||T||  Department, University of Bologna, Italy.                     
+    ||I||                                                                
+    ||T||  HELM is free software; you can redistribute it and/or         
+    ||A||  modify it under the terms of the GNU General Public License   
+    \   /  version 2 or (at your option) any later version.              
+     \ /   This software is distributed as is, NO WARRANTY.              
+      V_______________________________________________________________ -->
+
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:param name="baseurl"/>
@@ -11,7 +22,7 @@
 
 <xsl:output 
    method="html"
-   doctype-system="html"
+   doctype-system="http://www.w3.org/TR/html4/loose.dtd"
    doctype-public="-//W3C//DTD HTML 4.01 Transitional//EN"
    encoding="UTF-8"
    indent="no"