]> matita.cs.unibo.it Git - helm.git/commit
NuPRL stylesheets default encoding changed to UTF8
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 15:48:33 +0000 (15:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 15:48:33 +0000 (15:48 +0000)
commit563808f921851342ac07effb318cc88fc5d9aefa
tree135cfa1530fff641ca3d0c41f29b187a8f07b39c
parent9736af82d5c71c085528d02169a35f2ab7c87b64
NuPRL stylesheets default encoding changed to UTF8
helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl
helm/xml/nuprl_stylesheets/nuprl_links_library.xsl