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 \
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
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"
install-icons:
@echo " INSTALL *.png *.ico"
$(H)scp icons/*.png icons/*.ico $(DOWNDIR)
+
+install-jed:
+ @echo " INSTALL $(SLS)"
+ $(H)scp $(SLS:%=$(HOME)/jed/%) $(DOWNDIR)
\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ -->
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns="http://www.w3.org/1999/xhtml"
+>
<xsl:strip-space elements="ABST ABBR"/>
<xsl:template match="ABST">
<h2>
- <xsl:text>Declaration:</xsl:text>
- <xsl:call-template name="entity"/>
+ <span class="global">
+ <xsl:text>Declaration:</xsl:text>
+ <xsl:call-template name="entity"/>
+ </span>
</h2>
<xsl:call-template name="META"/>
<div><xsl:apply-templates/></div>
<xsl:template match="ABBR">
<h2>
- <xsl:text>Definition:</xsl:text>
- <xsl:call-template name="entity"/>
+ <span class="global">
+ <xsl:text>Definition:</xsl:text>
+ <xsl:call-template name="entity"/>
+ </span>
</h2>
<xsl:call-template name="META"/>
<div><xsl:apply-templates/></div>
\ / 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:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns="http://www.w3.org/1999/xhtml"
+>
<xsl:template name="sp">
<xsl:text> </xsl:text>
</xsl:template>
<xsl:template name="ob">
- <span style="{$binder}">
- <xsl:text>[</xsl:text>
- </span>
+ <xsl:text>[</xsl:text>
</xsl:template>
<xsl:template name="cb">
- <span style="{$binder}">
- <xsl:text>]</xsl:text>
- </span>
+ <xsl:text>]</xsl:text>
</xsl:template>
<xsl:template name="oa">
- <span style="{$cast}">
- <xsl:text><</xsl:text>
- </span>
+ <xsl:text><</xsl:text>
</xsl:template>
<xsl:template name="ca">
- <span style="{$cast}">
- <xsl:text>></xsl:text>
- </span>
+ <xsl:text>></xsl:text>
</xsl:template>
<xsl:template name="cn">
- <span style="{$binder}">
- <xsl:text>:</xsl:text>
- </span>
+ <xsl:text>:</xsl:text>
</xsl:template>
<xsl:template name="eq">
- <span style="{$binder}">
- <xsl:text>=</xsl:text>
+ <xsl:text>=</xsl:text>
+</xsl:template>
+
+<xsl:template name="multiple">
+ <span class="separator">
+ <xsl:call-template name="cm"/>
</span>
</xsl:template>
<xsl:template name="lambda">
- <a name="" title="{@mark}">
- <span style="{$binder}">
- <xsl:choose>
- <xsl:when test="@level=0">
- <xsl:text disable-output-escaping="yes">&Pi;</xsl:text>
- <sup><xsl:value-of select="@level"/></sup>
- </xsl:when>
- <xsl:when test="@level=1">
- <xsl:text disable-output-escaping="yes">&Pi;</xsl:text>
- </xsl:when>
- <xsl:when test="@level=2">
- <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
- </xsl:when>
- <xsl:when test="not(@level)">
- <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
- <sup><xsl:text disable-output-escaping="yes">&infin;</xsl:text></sup>
- </xsl:when>
- <xsl:otherwise>
- <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
- <sup><xsl:value-of select="@level"/></sup>
- </xsl:otherwise>
- </xsl:choose>
- </span>
+ <a title="{@mark}">
+ <xsl:choose>
+ <xsl:when test="@level=0">
+ <xsl:text disable-output-escaping="yes">&Pi;</xsl:text>
+ <sup><xsl:value-of select="@level"/></sup>
+ </xsl:when>
+ <xsl:when test="@level=1">
+ <xsl:text disable-output-escaping="yes">&Pi;</xsl:text>
+ </xsl:when>
+ <xsl:when test="@level=2">
+ <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
+ </xsl:when>
+ <xsl:when test="not(@level)">
+ <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
+ <sup><xsl:text disable-output-escaping="yes">&infin;</xsl:text></sup>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
+ <sup><xsl:value-of select="@level"/></sup>
+ </xsl:otherwise>
+ </xsl:choose>
</a>
</xsl:template>
<xsl:template name="delta">
- <a name="" title="{@mark}">
- <span style="{$binder}">
- <xsl:text disable-output-escaping="yes">&delta;</xsl:text>
- </span>
+ <a title="{@mark}">
+ <xsl:text disable-output-escaping="yes">&delta;</xsl:text>
</a>
</xsl:template>
<xsl:template name="chi">
- <a name="" title="{@mark}">
- <span style="{$binder}">
- <xsl:text disable-output-escaping="yes">&chi;</xsl:text>
- </span>
+ <a title="{@mark}">
+ <xsl:text disable-output-escaping="yes">&chi;</xsl:text>
</a>
</xsl:template>
<xsl:value-of select="@offset"/>
</xsl:if>
</xsl:variable>
- <a name="" title="{$index}">
+ <a title="{$index}">
<xsl:value-of select="@name"/>
</a>
</xsl:template>
</xsl:template>
<xsl:template name="global">
- <span style="{$global}">
- <a name="" title="{@mark}">
- <xsl:value-of select="@name"/>
- </a>
- </span>
+ <a title="{@mark}">
+ <xsl:value-of select="@name"/>
+ </a>
</xsl:template>
<xsl:template name="mk_names">
<xsl:param name="names">
<xsl:value-of select="normalize-space(@name)"/>
- <xsl:call-template name="sp"/>
+ <xsl:call-template name="sp"/>
</xsl:param>
- <xsl:param name="sep" select="false()"/>
+ <xsl:param name="sep" select="false()"/>
<xsl:if test="$names and $sep">
- <xsl:call-template name="cm"/>
+ <xsl:call-template name="multiple"/>
</xsl:if>
<xsl:if test="$names">
- <xsl:value-of select="substring-before($names, ' ')"/>
+ <span class="lref">
+ <xsl:value-of select="substring-before($names, ' ')"/>
+ </span>
<xsl:call-template name="mk_names">
<xsl:with-param name="names" select="substring-after($names, ' ')"/>
<xsl:with-param name="sep" select="true()"/>
<xsl:for-each select="*">
<xsl:apply-templates select="."/>
<xsl:if test="(name()='Sort' or name()='LRef' or name()='GRef') and position()!=last()">
- <xsl:call-template name="cm"/>
+ <xsl:call-template name="multiple"/>
</xsl:if>
</xsl:for-each>
</xsl:template>
<xsl:with-param name="sep-seq" select="$sep-seq"/>
</xsl:call-template>
<xsl:call-template name="cb"/>
- <xsl:call-template name="fs"/>
</xsl:template>
<xsl:template name="mk_binder_rec1">
<xsl:param name="sep-seq"/>
<xsl:param name="names">
<xsl:value-of select="normalize-space(@name)"/>
- <xsl:call-template name="sp"/>
+ <xsl:call-template name="sp"/>
</xsl:param>
<xsl:param name="sep" select="false()"/>
<xsl:param name="start" select="true()"/>
<xsl:choose>
<xsl:when test="$start and $pos <= count(*)">
<xsl:if test="$names and $sep">
- <xsl:call-template name="cm"/>
+ <xsl:call-template name="multiple"/>
</xsl:if>
- <xsl:value-of select="substring-before($names, ' ')"/>
+ <span class="lref">
+ <xsl:value-of select="substring-before($names, ' ')"/>
+ </span>
<xsl:copy-of select="$sep-seq"/>
<xsl:call-template name="mk_binder_rec2">
<xsl:with-param name="names" select="substring-after($names, ' ')"/>
<xsl:with-param name="names" select="$names"/>
<xsl:with-param name="pos" select="$pos"/>
<xsl:with-param name="sep-seq" select="$sep-seq"/>
- </xsl:call-template>
+ </xsl:call-template>
</xsl:when>
</xsl:choose>
</xsl:template>
<xsl:with-param name="sep" select="true()"/>
<xsl:with-param name="start" select="name(*[$pos])='Sort' or name(*[$pos])='LRef' or name(*[$pos])='GRef'"/>
<xsl:with-param name="pos" select="$pos+1"/>
- </xsl:call-template>
+ </xsl:call-template>
</xsl:template>
<xsl:template name="mk_segment">
<xsl:variable name="newrpath" select="substring-after($rpath,'/')"/>
<xsl:choose>
<xsl:when test="$newrpath">
- <xsl:variable name="segment" select="substring-before($rpath,$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:template name="entity">
<xsl:call-template name="sp"/>
- <xsl:call-template name="global"/>
+ <span class="gref">
+ <xsl:call-template name="global"/>
+ </span>
<xsl:call-template name="sp"/>
<xsl:call-template name="op"/>
- <xsl:call-template name="mk_path"/>
+ <span class="gref">
+ <xsl:call-template name="mk_path"/>
+ </span>
<xsl:call-template name="cp"/>
</xsl:template>
<xsl:template name="META">
- <div>Informal description: "<xsl:value-of select="@meta"/>"</div><h2/>
+ <div>Informal description: "<xsl:value-of select="@meta"/>"</div><br/>
</xsl:template>
<xsl:template name="ld">
\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ -->
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns="http://www.w3.org/1999/xhtml"
+>
<xsl:strip-space elements="ENTITY"/>
<xsl:template match="/">
- <html><head>
- <meta content="Ferruccio Guidi" name="author"/>
- <meta content="lambda-delta digital library" name="description"/>
+ <html xmlns="http://www.w3.org/1999/xhtml"><head>
+ <meta http-equiv="Content-Language" content="en-us"/>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
+ <meta http-equiv="Content-Style-Type" content="text/css"/>
+ <meta name="author" content="Ferruccio Guidi"/>
+ <meta name="description" content="lambda-delta digital library"/>
<title>lambda-delta digital library (LDDL)</title>
+ <link rel="stylesheet" type="text/css"
+ href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
+ />
<link rel="shortcut icon"
href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
/>
</head><body>
- <div style="text-align: center;"><h2/>
+ <div style="text-align: center;"><br/>
<a href="http://helm.cs.unibo.it/lambda-delta/">
<img style="border: 0px solid; width: 32px; height: 32px;"
alt="[lambda-delta home]" title="lambda-delta home"
margin-left: auto; margin-right: auto;"
><tbody><tr><td style="vertical-align: top;">
<xsl:apply-templates/>
- </td></tr></tbody></table><h2/>
+ </td></tr></tbody></table><br/>
<a href="http://validator.w3.org/check?uri=referer">
- <img alt="[Valid HTML 4.01 Transitional]"
- title="Valid HTML 4.01 Transitional"
- src="http://www.w3.org/Icons/valid-html401"
+ <img alt="[Valid XHTML 1.1]"
+ title="Valid XHTML 1.1"
+ src="http://www.w3.org/Icons/valid-xhtml11"
style="border: 0px solid ; width: 88px; height: 31px;"
- /></a>
+ /></a>
+ <a href="http://jigsaw.w3.org/css-validator/check/referer">
+ <img alt="[Valid CSS]"
+ title="Valid CSS"
+ src="http://jigsaw.w3.org/css-validator/images/vcss"
+ style="border: 0; width:88px; height:31px;"
+ /></a>
<a href="http://www.anybrowser.org/campaign/">
<img alt="[Use any browser here]"
title="Use any browser here"
title="PNG used here"
src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
/>
- <h2/></div>
+ <br/></div>
</body></html>
</xsl:template>
<xsl:template match="ENTITY">
- <xsl:apply-templates/><h2/>
+ <xsl:apply-templates/><br/>
<div>
Validation parameters:
sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ -->
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns="http://www.w3.org/1999/xhtml"
+>
<xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
+<xsl:template name="separator">
+ <span class="separator">
+ <xsl:call-template name="fs"/>
+ </span>
+</xsl:template>
+
<xsl:template match="Sort">
- <span style="{$sort}">
+ <span class="sort">
<xsl:call-template name="position"/>
</span>
</xsl:template>
<xsl:template match="LRef">
- <xsl:call-template name="position"/>
+ <span class="lref">
+ <xsl:call-template name="position"/>
+ </span>
</xsl:template>
<xsl:template match="GRef">
- <xsl:call-template name="uri"/>
+ <span class="gref">
+ <xsl:call-template name="uri"/>
+ </span>
</xsl:template>
<xsl:template match="Cast">
- <xsl:call-template name="oa"/>
- <xsl:apply-templates/>
- <xsl:call-template name="ca"/>
- <xsl:call-template name="fs"/>
+ <span class="cast">
+ <xsl:call-template name="oa"/>
+ <xsl:apply-templates/>
+ <xsl:call-template name="ca"/>
+ </span>
+ <xsl:call-template name="separator"/>
</xsl:template>
<xsl:template match="Appl">
- <xsl:call-template name="op"/>
- <xsl:call-template name="mk_terms"/>
- <xsl:call-template name="cp"/>
- <xsl:call-template name="fs"/>
+ <span class="appl">
+ <xsl:call-template name="op"/>
+ <xsl:call-template name="mk_terms"/>
+ <xsl:call-template name="cp"/>
+ </span>
+ <xsl:call-template name="separator"/>
</xsl:template>
<xsl:template match="Abst">
- <xsl:call-template name="lambda"/>
- <xsl:call-template name="mk_binder">
- <xsl:with-param name="sep-seq">
- <xsl:call-template name="cn"/>
- </xsl:with-param>
- </xsl:call-template>
+ <span class="local">
+ <xsl:call-template name="lambda"/>
+ <xsl:call-template name="mk_binder">
+ <xsl:with-param name="sep-seq">
+ <xsl:call-template name="cn"/>
+ </xsl:with-param>
+ </xsl:call-template>
+ </span>
+ <xsl:call-template name="separator"/>
</xsl:template>
<xsl:template match="Abbr">
- <xsl:call-template name="delta"/>
- <xsl:call-template name="mk_binder">
- <xsl:with-param name="sep-seq">
- <xsl:call-template name="eq"/>
- </xsl:with-param>
- </xsl:call-template>
+ <span class="local">
+ <xsl:call-template name="delta"/>
+ <xsl:call-template name="mk_binder">
+ <xsl:with-param name="sep-seq">
+ <xsl:call-template name="eq"/>
+ </xsl:with-param>
+ </xsl:call-template>
+ </span>
+ <xsl:call-template name="separator"/>
</xsl:template>
<xsl:template match="Void">
- <xsl:call-template name="chi"/>
- <xsl:call-template name="ob"/>
- <xsl:call-template name="mk_names"/>
- <xsl:call-template name="cb"/>
- <xsl:call-template name="fs"/>
+ <span class="local">
+ <xsl:call-template name="chi"/>
+ <xsl:call-template name="ob"/>
+ <xsl:call-template name="mk_names"/>
+ <xsl:call-template name="cb"/>
+ </span>
+ <xsl:call-template name="separator"/>
</xsl:template>
</xsl:stylesheet>
--- /dev/null
+@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);
+}
\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ -->
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns="http://www.w3.org/1999/xhtml"
+>
<xsl:param name="baseurl"/>
<xsl:include href="ld-html-root.xsl"/>
<xsl:output
- method="html"
- doctype-system="http://www.w3.org/TR/html4/loose.dtd"
- doctype-public="-//W3C//DTD HTML 4.01 Transitional//EN"
+ method="xml"
+ doctype-public="-//W3C//DTD XHTML 1.1//EN"
+ doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"
encoding="UTF-8"
indent="no"
/>
projects / helm.git / commitdiff