]> matita.cs.unibo.it Git - helm.git/commit
Written function that produce the variable "ConstantTypeUrl" used by objcontent.xsl
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Thu, 24 Oct 2002 13:00:54 +0000 (13:00 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Thu, 24 Oct 2002 13:00:54 +0000 (13:00 +0000)
commit87d923b6652b1e13998532d736bbc8fe31c273a9
tree45e8f0aeff73c4c5fbb89c4c0b7dd8f4f1a1e5dc
parentd891eccad8306283c5b1e6c1e9a8c56b2ebd5309
Written function that produce the variable "ConstantTypeUrl" used by objcontent.xsl
helm/style/rootcontent.xsl