- <a href="" target="{$target}"
- onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedbodyname)}','{$ann}','{$types}')"
+ <a href="javascript: var _ = window.open(top.frames[0].makeURL('{$target}','{concat($quoteduri,$quotedbodyname)}','{$ann}','{$types}'))"
+ onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true"
+ >Proof term</a>
+ </xsl:if>
+ <xsl:if test="not($proof_tree='NO')">
+ <xsl:text> </xsl:text>
+ <a href="javascript: var _ = window.open(top.frames[0].makeURL('{$target}','{concat($quoteduri,$quotedprooftreename)}','{$ann}','{$types}'))"