From: Brion Vibber Date: Fri, 15 Apr 2005 07:42:47 +0000 (+0000) Subject: Revert abuse of semantic HTML markup X-Git-Tag: 1.5.0alpha1~266 X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/password.php?a=commitdiff_plain;h=7c752c33df6e681b43c28223c811bc7553dccd95;p=lhc%2Fweb%2Fwiklou.git Revert abuse of semantic HTML markup --- diff --git a/math/html.ml b/math/html.ml index d9a4ef871c..6a24b114ea 100644 --- a/math/html.ml +++ b/math/html.ml @@ -19,10 +19,10 @@ let font_render lit = function | (_, FONT_UF) -> lit | (CTX_IT,FONT_RTI) -> raise Too_difficult_for_html | (_, FONT_RTI) -> lit - | (CTX_IT,FONT_RM) -> ""^lit^"" + | (CTX_IT,FONT_RM) -> ""^lit^"" | (_, FONT_RM) -> lit | (CTX_RM,FONT_IT) -> lit - | (_, FONT_IT) -> ""^lit^"" + | (_, FONT_IT) -> ""^lit^"" let rec html_render_flat ctx = function TEX_LITERAL (HTMLABLE (ft,_,sh))::r -> (html_liberal (); (font_render sh (ctx,ft))^html_render_flat ctx r)