<div class="spacer">
<img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Character classes</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Character classes</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">This table shows how the first 45 positive integers
are distributed in the four classes.
</div>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 28 Jun 2014 20:29:31 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 29 Jun 2014 22:20:18 +0200</div>
</body>
</html>
TAGS = www up \
lint-xml index lddl install-xml \
test-html html install-html \
- install-jed install-bib \
+ install-jed install-bib install-contrib \
LDURL = http://lambdadelta.info/
HOMEDIR = .
-ETCDIR = etc
-DOWNDIR = download
-XSLTDIR = xslt
-XMLDIR = xml
-SRCDIR = web/home
-XHTBLDIR = bin/xhtbl
-HTMLDIR = $(HOME)/public_html/lddl
-JEDDIR = $(HOME)/mps/jed
-BIBDIR = $(HOME)/texmf/bibtex/bib
+ETCDIR = etc
+DOWNDIR = download
+XSLTDIR = xslt
+XMLDIR = xml
+SRCDIR = web/home
+XHTBLDIR = bin/xhtbl
+HTMLDIR = $(HOME)/public_html/lddl
+JEDDIR = $(HOME)/mps/jed
+BIBDIR = $(HOME)/texmf/bibtex/bib
+CONTRIBDIR = $(ETCDIR)/lambdadelta
WEBDIRS = $(SRCDIR) $(ETCDIR)
RXMLDIR = $(REMOTE):$(RDIR)/xml
RHTMLDIR = $(REMOTE):$(RDIR)/static/lddl
-SLS = helena.sl automath.sl
-BIB = lambdadelta.bib
+SLS = helena.sl automath.sl
+BIB = lambdadelta.bib
+CONTRIB = lambdadelta_2.tar.gz
XMLS = brg_si/grundlagen/l/not.ld.xml \
brg_si/grundlagen/l/et.ld.xml \
@echo " INSTALL $(BIB)"
$(H)scp $< $(DOWNDIR)
$(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
+
+install-contrib: $(CONTRIB:%=$(CONTRIBDIR)/%)
+ @echo " INSTALL $(CONTRIB)"
+ $(H)scp $< $(DOWNDIR)
+
up:
@echo " UPDATE $(REMOTE):$(RDIR)"
$(H)ssh $(REMOTE) "svn up $(RDIR)"
<div class="spacer">
<img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Contents of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Contents of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">This specification comprises a collection of checked
applications of λδ version 2.
In particular it contains the components below.
</li>
</ul>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Summary of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Summary of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical acount of the specification's contents
and its timeline.
Nodes are counted according to the "intrinsinc complexity measure"
<table cellpadding="4" cellspacing="0">
<tbody>
<tr>
- <td class="snns component grey">category</td>
- <td class="snns plane grey">objects</td>
- <td class="snnn number grey">
+ <td class="snns component gray">category</td>
+ <td class="snns plane gray">objects</td>
+ <td class="snnn number gray">
<br />
</td>
- <td class="snnn plane grey">
+ <td class="snnn plane gray">
<br />
</td>
- <td class="snnn number grey">
+ <td class="snnn number gray">
<br />
</td>
- <td class="snnn plane grey">
+ <td class="snnn plane gray">
<br />
</td>
- <td class="ssnn number grey">
+ <td class="ssnn number gray">
<br />
</td>
</tr>
</li>
</ul>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Logical Structure of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Logical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes and components
according to the following table.
Each component contains its own notation file.
<table cellpadding="4" cellspacing="0">
<tbody>
<tr>
- <td class="snns component grey">component</td>
- <td class="snns plane grey">plane</td>
- <td class="snns file grey">files</td>
- <td class="ssnn file grey">
+ <td class="snns component gray">component</td>
+ <td class="snns plane gray">plane</td>
+ <td class="snns file gray">files</td>
+ <td class="ssnn file gray">
<br />
</td>
</tr>
</table>
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Physical Structure of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Physical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in directories,
one for each component.
</div>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 28 Jun 2014 20:29:31 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 29 Jun 2014 22:20:18 +0200</div>
</body>
</html>
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Summary of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Summary of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical acount of the specification's contents
and its timeline.
Nodes are counted according to the "intrinsinc complexity measure"
<table cellpadding="4" cellspacing="0">
<tbody>
<tr>
- <td class="snns component grey">category</td>
- <td class="snns plane grey">objects</td>
- <td class="snnn number grey">
+ <td class="snns component gray">category</td>
+ <td class="snns plane gray">objects</td>
+ <td class="snnn number gray">
<br />
</td>
- <td class="snnn plane grey">
+ <td class="snnn plane gray">
<br />
</td>
- <td class="snnn number grey">
+ <td class="snnn number gray">
<br />
</td>
- <td class="snnn plane grey">
+ <td class="snnn plane gray">
<br />
</td>
- <td class="ssnn number grey">
+ <td class="ssnn number gray">
<br />
</td>
</tr>
</li>
</ul>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Logical Structure of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Logical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes and components
according to the following table.
Notation files covering the whole specification are provided.
<table cellpadding="4" cellspacing="0">
<tbody>
<tr>
- <td class="snns component grey">component</td>
- <td class="snns plane grey">plane</td>
- <td class="snns file grey">files</td>
- <td class="snnn file grey">
+ <td class="snns component gray">component</td>
+ <td class="snns plane gray">plane</td>
+ <td class="snns file gray">files</td>
+ <td class="snnn file gray">
<br />
</td>
- <td class="snnn file grey">
+ <td class="snnn file gray">
<br />
</td>
- <td class="ssnn file grey">
+ <td class="ssnn file gray">
<br />
</td>
</tr>
</table>
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Physical Structure of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Physical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in directories,
one for each component.
</div>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 28 Jun 2014 20:29:31 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 29 Jun 2014 22:20:18 +0200</div>
</body>
</html>
module T = Table
type cell = {
- ck: string list; (* contents *)
+ ck: T.text list; (* contents *)
cc: T.css; (* css classes *)
cb: T.border; (* border *)
}
w: bool; (* west *)
}
-type key = Text of string list
+type text = Plain of string
+ | Link of string * string
+
+type key = Text of text list
| Glue of int option
type table = {
| QT { let s = str lexbuf in
out s; TP.TEXT s }
| NUM as s { out s; TP.NUM (int_of_string s) }
+ | "(*" { block lexbuf; token lexbuf }
| "{" { out "{"; TP.OC }
| "}" { out "}"; TP.CC }
| "[" { out "["; TP.OB }
| "]" { out "]"; TP.CB }
| "*" { out "*"; TP.SR }
| "+" { out "+"; TP.PS }
+ | "(" { out "("; TP.OP }
+ | ")" { out ")"; TP.CP }
+ | "@" { out ")"; TP.AT }
+ | "space" { out "name"; TP.SPACE }
| "name" { out "name"; TP.NAME }
| "table" { out "table"; TP.TABLE }
| "class" { out "class"; TP.CSS }
- | "(*" { block lexbuf; token lexbuf }
| eof { TP.EOF }
and str = parse
| QT { "" }
%token <int> NUM
%token <string> TEXT
-%token NAME TABLE CSS SR OC CC OB CB PS EOF
+%token SPACE NAME TABLE CSS SR OC CC OB CB PS OP CP AT EOF
%start script
-%type <(string * Table.table * Css.atoms) list> script
+%type <(string * string) list * (string * Table.table * Css.atoms) list> script
%%
+space:
+ | SPACE TEXT TEXT { $2, $3 }
+;
+
+spaces:
+ | { [] }
+ | space spaces { $1 :: $2 }
+;
+
text:
- | TEXT { $1 }
+ | TEXT { T.Plain $1 }
+ | AT OP TEXT TEXT CP { T.Link ($3, $4) }
+;
texts:
| text { [$1] }
| name TABLE table atoms { $1, $3, $4 }
;
+directives:
+ | { [] }
+ | directive directives { $1 :: $2 }
+;
+
script:
- | EOF { [] }
- | directive script { $1 :: $2 }
+ | spaces directives EOF { $1, $2 }
;
let css tc =
P.sprintf "\"%s\"" (S.concat " " tc)
+let text = function
+ | T.Plain s -> P.sprintf "\"%s\"" s
+ | T.Link (uri, s) -> P.sprintf "@(\"%s\" \"%s\")" uri s
+
let key = function
- | T.Text sl ->
- let map s = P.sprintf "\"%s\"" s in
- S.concat " + " (L.map map sl)
+ | T.Text sl -> S.concat " + " (L.map text sl)
| T.Glue None -> "*"
| T.Glue (Some i) -> P.sprintf "%u" i
let bname = F.chop_extension (F.basename fname) in
let ich = open_in fname in
let lexbuf = Lexing.from_channel ich in
- let ds = TP.script TL.token lexbuf in
+ let ns, ds = TP.script TL.token lexbuf in
close_in ich; includes := bname :: !includes;
- let och = XU.open_out true bname in
+ let ns = ("", "http://www.w3.org/1999/xhtml") :: ns in
+ let och = XU.open_out bname ns in
L.iter (process_directive och bname) ds;
XU.close_out och
if cell.M.cb.T.w then str.[3] <- 's';
str :: cell.M.cc
+let text = function
+ | T.Plain s -> s
+ | T.Link (uri, s) -> P.sprintf "<a href=\"%s\">%s</a>" uri s
+
let key cell =
- if cell.M.ck = [] then "<br/>" else S.concat " " cell.M.ck
+ if cell.M.ck = [] then "<br/>" else S.concat " " (L.map text cell.M.ck)
let ind i = S.make (2 * i) ' '
A.iter (out_cell och) row;
P.fprintf och "%s</tr>\n" (ind (i+3))
+let out_space och (name, uri) =
+ let name = if name = "" then name else ":" ^ name in
+ P.fprintf och " xmlns%s=\"%s\"\n" name uri
+
(****************************************************************************)
-let open_out html name =
+let open_out name spaces =
let fname = F.concat !O.output_dir (P.sprintf "%s.xsl" name) in
+ let spaces = ("xsl", "http://www.w3.org/1999/XSL/Transform") :: spaces in
let och = open_out fname in
P.fprintf och "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n\n";
P.fprintf och "<!-- %s -->\n\n" msg;
P.fprintf och "<xsl:stylesheet version=\"1.0\"\n";
- P.fprintf och " xmlns:xsl=\"http://www.w3.org/1999/XSL/Transform\"\n";
- if html then P.fprintf och " xmlns=\"http://www.w3.org/1999/xhtml\"\n";
+ L.iter (out_space och) spaces;
P.fprintf och ">\n\n";
och
P.fprintf och "%s</xsl:when>\n" (ind (i+2))
let write_hook name incs tbls =
- let och = open_out false name in
+ let och = open_out name [] in
L.iter (map_incs och) incs;
P.fprintf och "\n<xsl:template name=\"%s\">\n" name;
P.fprintf och "%s<xsl:choose>\n" (ind (i+1));
a:link, a:visited {
text-decoration: underline;
+ color: rgb(0, 0, 0);
}
a:active, a:hover, a:focus {
background: rgb(192, 192, 192);
+ color: rgb(0, 0, 0);
}
/* blocks *******************************************************************/
div.spacer {
text-align: center;
+ font-weight: normal;
+ font-size: medium;
}
div.head1 {
font-size: xx-large;
}
-div.head2 {
+div.head2sn {
margin: 0.5em 0;
text-align: left;
font-weight: bold;
font-size: x-large;
}
+div.head2dx {
+ margin: 0.5em 0;
+ text-align: right;
+ font-weight: bold;
+ font-size: x-large;
+}
+
div.text {
margin: 1em 0;
text-align: left;
+ font-weight: normal;
+ font-size: medium;
}
span.date {
font-weight: bold;
+ font-size: medium;
}
/* inline decorations *******************************************************/
height: 32px;
}
+img.icon37 {
+ border: 0;
+ width: 37px;
+ height: 37px;
+}
+
img.rule {
border: 0;
height: 4px;
/* background colors ********************************************************/
-.grey {
+.gray {
background-color:#dfdfdf; /* + 7/8 */
}
+% \lambda\delta version 2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+@misc{lambdadelta8,
+ author="F. {Guidi}",
+ title="{lambdadelta\_2}",
+ howpublished="Formal specification for the proof assistant Matita 0.99.2",
+ year="2014",
+ month="July",
+ note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+}
+
@incollection{lambdadelta7,
author="F. {Guidi}",
title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
month="September"
}
+% \lambda\delta version 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
@article{lambdadelta5,
author="F. {Guidi}",
title="{The Formal System $\lambda\delta$}",
@misc{lambdadelta1,
author="F. {Guidi}",
title="{lambdadelta\_1}",
- howpublished="Formal specification with the proof assistant Coq 7.3.1",
+ howpublished="Formal specification for the proof assistant Coq 7.3.1",
year="2006",
month="November",
note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+% \lambda\delta version 2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+@misc{lambdadelta8,
+ author="F. {Guidi}",
+ title="{lambdadelta\_2}",
+ howpublished="Formal specification for the proof assistant Matita 0.99.2",
+ year="2014",
+ month="July",
+ note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+}
+
@incollection{lambdadelta7,
author="F. {Guidi}",
title="{An Efficient Validation Procedure for the Formal System $\lambda\delta$}",
month="September"
}
+% \lambda\delta version 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
@article{lambdadelta5,
author="F. {Guidi}",
title="{The Formal System $\lambda\delta$}",
@misc{lambdadelta1,
author="F. {Guidi}",
title="{lambdadelta\_1}",
- howpublished="Formal specification with the proof assistant Coq 7.3.1",
+ howpublished="Formal specification for the proof assistant Coq 7.3.1",
year="2006",
month="November",
note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
<div class="spacer">
<img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Summary of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Summary of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">Here is a numerical acount of the specification's contents
and its timeline.
Nodes are counted according to the "intrinsinc complexity measure"
<table cellpadding="4" cellspacing="0">
<tbody>
<tr>
- <td class="snns component grey">category</td>
- <td class="snns plane grey">objects</td>
- <td class="snnn number grey">
+ <td class="snns component gray">category</td>
+ <td class="snns plane gray">objects</td>
+ <td class="snnn number gray">
<br />
</td>
- <td class="snnn plane grey">
+ <td class="snnn plane gray">
<br />
</td>
- <td class="snnn number grey">
+ <td class="snnn number gray">
<br />
</td>
- <td class="snnn plane grey">
+ <td class="snnn plane gray">
<br />
</td>
- <td class="ssnn number grey">
+ <td class="ssnn number gray">
<br />
</td>
</tr>
</li>
</ul>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Logical Structure of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Logical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes
according to the following table.
Notation files covering the whole specification are provided.
<table cellpadding="4" cellspacing="0">
<tbody>
<tr>
- <td class="snns plane grey">plane</td>
- <td class="snns file grey">files</td>
- <td class="snnn file grey">
+ <td class="snns plane gray">plane</td>
+ <td class="snns file gray">files</td>
+ <td class="snnn file gray">
<br />
</td>
- <td class="snnn file grey">
+ <td class="snnn file gray">
<br />
</td>
- <td class="snnn file grey">
+ <td class="snnn file gray">
<br />
</td>
- <td class="snnn file grey">
+ <td class="snnn file gray">
<br />
</td>
- <td class="snnn file grey">
+ <td class="snnn file gray">
<br />
</td>
- <td class="snnn file grey">
+ <td class="snnn file gray">
<br />
</td>
- <td class="snnn file grey">
+ <td class="snnn file gray">
<br />
</td>
- <td class="ssnn file grey">
+ <td class="ssnn file gray">
<br />
</td>
</tr>
</table>
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="head2">Physical Structure of the Specification</div>
+ <a xmlns:ld="http://lambdadelta.info/" name="" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2sn">Physical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in directories,
one for each plane.
</div>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 28 Jun 2014 20:29:31 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 29 Jun 2014 22:20:18 +0200</div>
</body>
</html>
--- /dev/null
+<?xml version="1.0" encoding="UTF-8"?>
+
+<page xmlns="http://lambdadelta.info/"
+ description = "\lambda\delta home page"
+ title = "\lambda\delta home page"
+ head = "The Formal System λδ (\lambda\delta)"
+>
+ <sitemap name="sitemap"/>
+
+ <section9 name="foreword">Foreword</section9>
+ <body>
+ The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
+ the foundations of Mathematics that require an underlying specification language
+ (for example the <link to="http://www.math.unipd.it/~maietti/">Minimal Type Theory</link>
+ and its predecessors).
+ </body>
+ <body>
+ λδ is developed in the context of the
+ <link to="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</link>
+ as a machine-checked digital specification
+ that is not the formal counterpart of some previously published informal material.
+ </body>
+ <body>
+ λδ comes in several versions listed in the following table,
+ which includes the major milestones:
+ </body>
+ <table name="versions"/>
+
+ <section3 name="notice">Notice for the Internet Explorer user</section3>
+ <body>
+ To view this site correctly, please select a font
+ with <link to="http://www.unicode.org/">Unicode</link> support.
+ For example "Lucida Sans Unicode" (it should be already installed on your system).
+ To change the current font follow:
+ "Tools" menu → "Internet Options" entry → "General" tab → "Fonts" button.
+ </body>
+
+ <footer/>
+</page>
--- /dev/null
+name "sitemap"
+
+table [
+ class "sky" {
+ [ "foreword" * ]
+ }
+ class "magenta" {
+ [ "news" * ]
+ }
+ class "orange" {
+ [ "bibliography" * ]
+ }
+ class "green" {
+ [ "resources" * ]
+ }
+]
+
+class "component" [ 0 ]
--- /dev/null
+name "versions"
+
+table {
+ class "gray"
+ [ "version" "name" "developed with"
+ "started" "announced" "released" "dismissed"
+ ]
+ class "orange"
+ [ "2" "basic_2" @("http://matita.cs.unibo.it/" "Matita 0.99.2")
+ "April 2011" "July 2014" "Planned in 2014" "Not planned yet"
+ ]
+ class "red"
+ [ "1" "basic_1" @("http://coq.inria.fr/" "Coq 7.3.1")
+ "May 2004" "January 2006" "November 2006" "May 2008" ]
+}
+
+class "component" [ 0 ]
+
</div>
</xsl:template>
+<xsl:template name="butterfly">
+ <xsl:param name="name"/>
+ <img class="icon37"
+ alt="[spacer]"
+ title="lambdadelta butterfly"
+ src="{$baseurl}images/b{$name}.png"
+ />
+</xsl:template>
+
<xsl:template name="xhtml">
<a href="http://validator.w3.org/check?uri=referer">
<img class="w3c"
</a>
</xsl:template>
+<xsl:template name="sp">
+ <xsl:text> </xsl:text>
+</xsl:template>
+
</xsl:stylesheet>
>
<xsl:template match="ld:section">
- <div class="head2">
+ <a name="{@name}"/>
+ <div class="head2sn">
<xsl:apply-templates/>
</div>
</xsl:template>
+<xsl:template match="ld:section3">
+ <a name="{@name}"/>
+ <div class="head2dx">
+ <xsl:apply-templates/>
+ <xsl:call-template name="sp"/>
+ <xsl:call-template name="butterfly">
+ <xsl:with-param name="name" select="3"/>
+ </xsl:call-template>
+ </div>
+</xsl:template>
+
+<xsl:template match="ld:section4">
+ <a name="{@name}"/>
+ <div class="head2dx">
+ <xsl:apply-templates/>
+ <xsl:call-template name="sp"/>
+ <xsl:call-template name="butterfly">
+ <xsl:with-param name="name" select="4"/>
+ </xsl:call-template>
+ </div>
+</xsl:template>
+
+<xsl:template match="ld:section5">
+ <a name="{@name}"/>
+ <div class="head2dx">
+ <xsl:apply-templates/>
+ <xsl:call-template name="sp"/>
+ <xsl:call-template name="butterfly">
+ <xsl:with-param name="name" select="5"/>
+ </xsl:call-template>
+ </div>
+</xsl:template>
+
+<xsl:template match="ld:section9">
+ <a name="{@name}"/>
+ <div class="head2dx">
+ <xsl:apply-templates/>
+ <xsl:call-template name="sp"/>
+ <xsl:call-template name="butterfly">
+ <xsl:with-param name="name" select="9"/>
+ </xsl:call-template>
+ </div>
+</xsl:template>
+
<xsl:template match="ld:body">
<div class="text">
<xsl:apply-templates/>
</div>
</xsl:template>
+<xsl:template match="ld:link">
+ <a href="{@to}">
+ <xsl:apply-templates/>
+ </a>
+</xsl:template>
+
<xsl:template match="ld:rlink">
<a href="{$baseurl}{@to}">
<xsl:apply-templates/>
</div>
</xsl:template>
+<xsl:template match="ld:sitemap">
+ <div class="spacer"><br/></div>
+ <div class="text">
+ <xsl:call-template name="xhtbl"/>
+ </div>
+</xsl:template>
+
<xsl:template match="ld:footer">
<xsl:call-template name="rule"/>
<div class="spacer"><br/></div>
projects / helm.git / commitdiff