]> matita.cs.unibo.it Git - helm.git/commit - helm/style/theory_content.xsl
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f06e2c5) | patch
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
tree6ff9db378d466aed88f96323d3c770cc875c7d50tree | snapshot
parentf06e2c5a7757ef9dc8cd55fa759cbc48616cb508commit | diff
added support for application-time parameters
helm/style/rootcontent.xsl diff | blob | history
helm/style/theory_content.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.