2 <xsl:stylesheet version="1.0"
3 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
4 xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
5 xmlns:helm="http://www.cs.unibo.it/helm"
6 xmlns:html="http://www.w3.org/1999/xhtml">
8 <!-- add theory's breadcrumb trail -->
9 <xsl:template name="breadcrumb_trail">
10 <xsl:param name="path" select="''" />
11 <xsl:param name="acc" select="''" />
13 <xsl:when test="contains($path, '/')">
14 <xsl:variable name="segment" select="substring-before($path,'/')" />
15 <xsl:variable name="newacc" select="concat($acc, $segment, '/')" />
16 <html:a style="text-decoration: none"
17 href="{$newacc}" helm:helm_link="href">
18 <xsl:value-of select="$segment" />
20 <xsl:text>/</xsl:text>
21 <xsl:call-template name="breadcrumb_trail">
22 <xsl:with-param name="path" select="substring-after($path,'/')" />
23 <xsl:with-param name="acc" select="$newacc" />
27 <xsl:value-of select="$path" />
32 <xsl:template name="add_breadcrumb_trail">
33 <xsl:param name="CICURI" select="''"/>
34 <xsl:variable name="prefix" select="substring-before($CICURI, ':')" />
35 <html:table width="100%">
38 <html:h3 style="font-family: sans-serif">
39 <html:a style="text-decoration: none"
40 href="{concat($prefix, ':/')}" helm:helm_link="href">
41 <xsl:value-of select="concat($prefix, ':')" />
43 <xsl:text>/</xsl:text>
44 <xsl:call-template name="breadcrumb_trail">
45 <xsl:with-param name="path"
46 select="substring($CICURI, string-length($prefix)+3)" />
47 <xsl:with-param name="acc" select="concat($prefix, ':/')" />
51 <html:td style="text-align:right">
52 <html:span style="font-family:sans-serif">
53 <html:a href="http://mowgli.cs.unibo.it:58085/getpage?url=index.html&preprocess=true&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no">Search</html:a>