]> matita.cs.unibo.it Git - helm.git/commit
* makeProofTreeURL ported to the new interface
authorLuca Padovani <luca.padovani@unito.it>
Fri, 28 May 2004 15:02:09 +0000 (15:02 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 28 May 2004 15:02:09 +0000 (15:02 +0000)
commiteac2033b1cfbce614010f123faf8544da65d8319
tree67602df2613dbecfc497d915126ded2dba76e315
parentbd9be8f928846221194a42b65628f4cfaa89668b
* makeProofTreeURL ported to the new interface
helm/on-line/xslt/resolve_topurl.xsl