X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=9302e5841b62a09b62d17013f4800e12a25386b2;hb=e76b78d1d80796de1b8f6a469741cbd26cd4d822;hp=4521eaaf46069aa55aa0d71ad576e87eb45d253c;hpb=2f7227d339116196ccbe52b86923051441e2647d;p=helm.git diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl index 4521eaaf4..9302e5841 100644 --- a/helm/on-line/xslt/ls2html.xsl +++ b/helm/on-line/xslt/ls2html.xsl @@ -3,6 +3,8 @@ + + @@ -43,18 +45,28 @@ [{$alt}] + + + + + @@ -66,6 +78,7 @@ Index of <xsl:value-of select="$uri"/> + @@ -100,6 +113,8 @@ + + text.gif @@ -111,10 +126,48 @@ [{@name}]
- + + + + + + + + + + + + + + + + + + + + + + + + + Statement + Definition + + + + + Proof term + + + + Proof tree +