]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c539f83)
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Tue, 6 Feb 2001 12:20:16 +0000 (12:20 +0000)
committerIrene Schena <irene.schena@unibo.it>
Tue, 6 Feb 2001 12:20:16 +0000 (12:20 +0000)
1) basic.xsl, content.xsl, content_to_html.xsl, html_init.xsl,
html_reals.xsl, html_set.xsl, proofs.xsl, reals.xsl, ricerca.xsl,
set.xsl: removed variable declaration of absPath
2) theory_content.xsl: added comments
2) rootcontent.xsl: inserted variable declaration of absPath
3) mmlextension.xsl: added parenthesis to the first arrow


No differences found
Unnamed repository; edit this file 'description' to name the repository.