...

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 96cd079e9dbf2d462c8724b632e0b5aac19ac784..9e8cfd86cd4c3163be5906acf735fd63df9d9c0f 100644 (file)
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -1379,7 +1379,12 @@ class interpModel =
 
 let interactive_string_choice 
   text prefix_len ?(title = "") ?(msg = "") () ~id locs uris 
-=
+= 
+        
+  let text = Pcre.replace ~pat:"<" ~templ:"&lt;" text in
+  let text = Pcre.replace ~pat:"'" ~templ:"&apos;" text in
+  let text = Pcre.replace ~pat:"\"" ~templ:"&quot;" text in
+  let text = Pcre.replace ~pat:">" ~templ:"&gt;" text in
   let gui = instance () in
     let dialog = gui#newUriDialog () in
     dialog#uriEntryHBox#misc#hide ();