]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d36e67) | patch
Many improvements in theory-rendering.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 May 2001 11:20:26 +0000 (11:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 May 2001 11:20:26 +0000 (11:20 +0000)
commitce56bfc29034be5add28ef28007f2598d9030ad2
tree0def93852b0de6537e25f5f4359251869249608ctree | snapshot
parent8d36e6731e092257dc4ffe7394d40cb615926fe6commit | diff
Many improvements in theory-rendering.
In particular, now param.type may be 'standalone' or 'typeonly' or 'embed'.
(It was 0 or 1 before)

Modified Files:
   content_to_html.xsl expandobj.xsl links_library.xsl
   mmlextension.xsl objtheorycontent.xsl theory_content.xsl
   theory_pres.xsl
helm/style/content_to_html.xsl diff | blob | history
helm/style/expandobj.xsl diff | blob | history
helm/style/links_library.xsl diff | blob | history
helm/style/mmlextension.xsl diff | blob | history
helm/style/objtheorycontent.xsl diff | blob | history
helm/style/theory_content.xsl diff | blob | history
helm/style/theory_pres.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.