From 42aa528129728611cae9da02904886522b08f94a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 26 Oct 2010 14:00:32 +0000 Subject: [PATCH] fix queries --- helm/software/matita/matitaMathView.ml | 3 +-- helm/software/matita/matitaScript.ml | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml index 71e7cb553..5b8540875 100644 --- a/helm/software/matita/matitaMathView.ml +++ b/helm/software/matita/matitaMathView.ml @@ -959,7 +959,7 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history) let dir_RE = Pcre.regexp "^cic:((/([^/]+/)*[^/]+(/)?)|/|)$" in let metadata_RE = Pcre.regexp "^metadata:/(deps)/(forward|backward)/(.*)$" in let whelp_query_RE = Pcre.regexp - "^\\s*whelp\\s+([^\\s]+)\\s+(\"|\\()(.*)(\\)|\")$" + "^\\s*whelp\\s+([^\\s]+)\\s+(.*)$" in let is_metadata txt = Pcre.pmatch ~rex:metadata_RE txt in let is_whelp txt = Pcre.pmatch ~rex:whelp_RE txt in @@ -1295,7 +1295,6 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history) | `NRef nref -> self#_loadNReference nref | `Univs uri -> self#_loadUnivs uri | `Whelp (query, results) -> - set_whelp_query query; self#_loadList (List.map (fun r -> "obj", UriManager.string_of_uri r) results)); self#setEntry entry diff --git a/helm/software/matita/matitaScript.ml b/helm/software/matita/matitaScript.ml index 1e63cc3d1..4738a38f6 100644 --- a/helm/software/matita/matitaScript.ml +++ b/helm/software/matita/matitaScript.ml @@ -433,7 +433,7 @@ let rec eval_macro include_paths (buffer : GText.buffer) guistuff grafite_status (* no idea why ocaml wants this *) let parsed_text_length = String.length parsed_text in let dbd = LibraryDb.instance () in - let pp_macro = ApplyTransformation.txt_of_macro ~map_unicode_to_tex:true in + let pp_macro = ApplyTransformation.txt_of_macro ~map_unicode_to_tex:false in match mac with (* WHELP's stuff *) | TA.WMatch (loc, term) -> -- 2.39.2