]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef9e59e) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 9 Mar 2001 11:27:39 +0000 (11:27 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 9 Mar 2001 11:27:39 +0000 (11:27 +0000)
commited5997c069d632999f6e970857cfa74c99f9c050
tree7a115463084067fb321355f24904ae2128626f0etree | snapshot
parentef9e59ebe09298c1295ebdd52a9517f1eafcab63commit | diff
Modified Files:
1) content_to_html.xsl: removed mtext, modified output and added
naturalLanguage
2) theory_content.xsl: generate only content markup for theories
3) theory_pres.xsl: generate only html pres for theories, starting
from the corresponding content markup
Added Files:
1) expandobj.xsl: expand objects generating the corresponding content
markup or the pres one, starting from the markup for theories
helm/style/content_to_html.xsl diff | blob | history
helm/style/expandobj.xsl [new file with mode: 0644] blob
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.