Index of <xsl:value-of select="$uri"/>

X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=0d551db35fe4cb04490eaf8677b5d057ce8a9e51;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;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..0d551db35 100644 --- a/helm/on-line/xslt/ls2html.xsl +++ b/helm/on-line/xslt/ls2html.xsl @@ -3,6 +3,8 @@ + + @@ -43,18 +45,28 @@

+ + + + +

@@ -66,6 +78,7 @@ Index of <xsl:value-of select="$uri"/>

+ @@ -100,6 +113,8 @@ + + text.gif @@ -111,10 +126,51 @@

+ + + + + + + + + + + + + + + + + + + + + +

+ onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedname)}','{$ann}','{$types}')" + onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true" + > + + Statement + Definition + + + + + Proof term + + + + Proof tree +