]> matita.cs.unibo.it Git - helm.git/commit
The UNICODEvsSYMBOL machinery is now working again.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2003 17:03:29 +0000 (17:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2003 17:03:29 +0000 (17:03 +0000)
commit4e5d2321c182e908cd5e522605fcd6be237a1c0a
tree5bc3f567dcb50c8def2ca8abfb5c93ef07cf5de5
parent76ef6920890304b5c840d9869952f52c0263be73
The UNICODEvsSYMBOL machinery is now working again.
helm/nuprl_stylesheets/nuprl_html_arith.xsl
helm/nuprl_stylesheets/nuprl_html_basic.xsl
helm/nuprl_stylesheets/nuprl_links_library.xsl