From ec350d553d0da4c2bdcf7504057ceb481217ac47 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 28 Jul 2003 15:21:24 +0000 Subject: [PATCH] mathvariant=normal for all the proof ;-) --- helm/ocaml/cic_transformations/mpresentation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_transformations/mpresentation.ml b/helm/ocaml/cic_transformations/mpresentation.ml index 09eb6331e..34c65a417 100644 --- a/helm/ocaml/cic_transformations/mpresentation.ml +++ b/helm/ocaml/cic_transformations/mpresentation.ml @@ -217,7 +217,7 @@ let print_mpres pres = [Some "xmlns","m","http://www.w3.org/1998/Math/MathML" ; Some "xmlns","helm","http://www.cs.unibo.it/helm" ; Some "xmlns","xlink","http://www.w3.org/1999/xlink" - ] (print_mpres pres) + ] (Xml.xml_nempty ~prefix "mstyle" [None, "mathvariant", "normal"] (print_mpres pres)) >] -- 2.39.2