X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;fp=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=0000000000000000000000000000000000000000;hp=0d551db35fe4cb04490eaf8677b5d057ce8a9e51;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl deleted file mode 100644 index 0d551db35..000000000 --- a/helm/on-line/xslt/ls2html.xsl +++ /dev/null @@ -1,178 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [{$alt}] - - - - - - - - - - - - - - - - Index of <xsl:value-of select="$uri"/> - - - - - - - - - - - - - - -
-
- - - - - - - - - - - - - - - - - - - - - - - - - text.gif - generic.red.gif - - - - - [{@name}] - - - - - - - - - - - - - - - - - - - - - - - - - - - Statement - Definition - - - - - Proof term - - - - Proof tree - - - - - -