X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=0d551db35fe4cb04490eaf8677b5d057ce8a9e51;hb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;hp=fc3887719cd6ca3e6dfbbb2117f197e5ea770117;hpb=97829180b4bc5a72291eeb8156b15b3922f07048;p=helm.git diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl index fc3887719..0d551db35 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,15 +113,64 @@ + + + + + text.gif + generic.red.gif + +
- [{@name}] + [{@name}] + + + + + + + + + + + + + + + + + + + + + + + onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedname)}','{$ann}','{$types}')" + onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true" + > + + Statement + Definition + + + + + Proof term + + + + Proof tree +