]> matita.cs.unibo.it Git - helm.git/commit
added support for application-time parameters
authorLuca Padovani <luca.padovani@unito.it>
Tue, 13 Feb 2001 13:47:41 +0000 (13:47 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 13 Feb 2001 13:47:41 +0000 (13:47 +0000)
commit72f427bc5aa167ee4b1821a2c103232069171018
tree6ff9db378d466aed88f96323d3c770cc875c7d50
parentf06e2c5a7757ef9dc8cd55fa759cbc48616cb508
added support for application-time parameters
helm/style/rootcontent.xsl
helm/style/theory_content.xsl