let title = "Unable to include " ^ what in
let message =
what ^ " is <b>not</b> handled by a development.\n" ^
- "All dependencies are authomatically solved for a development.\n\n" ^
+ "All dependencies are automatically solved for a development.\n\n" ^
"<i>Do you want to set up a development?</i>"
in
(match guistuff.ask_confirmation ~title ~message with
let l = MQ.match_term ~dbd term in
let query_url =
MatitaMisc.strip_suffix ~suffix:"."
- (MatitaMisc.trim_blanks unparsed_text)
+ (HExtlib.trim_blanks unparsed_text)
in
let entry = `Whelp (query_url, l) in
guistuff.mathviewer#show_uri_list ~reuse:true ~entry l;
List.iter (fun o -> o status) observers
method loadFromFile f =
- buffer#set_text (MatitaMisc.input_file f);
+ buffer#set_text (HExtlib.input_file f);
self#reset_buffer;
buffer#set_modified false
buffer#set_modified false
method template () =
- let template = MatitaMisc.input_file BuildTimeConf.script_template in
+ let template = HExtlib.input_file BuildTimeConf.script_template in
buffer#insert ~iter:(buffer#get_iter `START) template;
guistuff.filenamedata <-
(None,MatitamakeLib.development_for_dir (Unix.getcwd ()));