]> matita.cs.unibo.it Git - helm.git/commit
* getter.xsl added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 14 Sep 2001 13:58:49 +0000 (13:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 14 Sep 2001 13:58:49 +0000 (13:58 +0000)
commit0b1e5fb100fe57fb53f98038570b1fae191d331d
tree10370ff59bc236992328841e59fb81efb36add33
parent3256396b89a4fe610b04b921c85149859e1d6626
* getter.xsl added
  In this stylesheet there is a simple function to make the URL
  of an XML file given its URI. (The URL is used to ask the getter
  to retrieve the file)
* every other stylesheet (but ricerca.xsl that is unused and
  links_library.xsl) has been changed to use the new function
  instead of computing the URL cutting&pasting the same code
  again and again.
helm/style/content.xsl
helm/style/drop_coercions.xsl
helm/style/getter.xsl [new file with mode: 0644]
helm/style/html_set.xsl
helm/style/inductive.xsl
helm/style/objtheorycontent.xsl
helm/style/params.xsl
helm/style/proofs.xsl
helm/style/ricerca.xsl
helm/style/rootcontent.xsl