Commit 0fac64a3 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Improve messages.

parent 9c0d73ef
...@@ -1618,7 +1618,7 @@ let eval const result = ...@@ -1618,7 +1618,7 @@ let eval const result =
(Mstr.keys files) (Mstr.keys files)
end end
| _ -> | _ ->
"must be of the form 'file.module.ident'"; "must be of the form <filename>.<theory name>.<identifier>";
in in
result#source_buffer#set_text msg result#source_buffer#set_text msg
...@@ -1640,7 +1640,7 @@ let evaluate_window () = ...@@ -1640,7 +1640,7 @@ let evaluate_window () =
in in
let vbox = GPack.vbox ~packing:frame#add () in let vbox = GPack.vbox ~packing:frame#add () in
let text = let text =
"Enter the constant to evaluate under the form <theory name>.<identifier>" "Enter the constant to evaluate under the form <filename>.<theory name>.<identifier>"
in in
let _ = GMisc.label ~ypad:20 ~text ~xalign:0.5 ~packing:vbox#add () in let _ = GMisc.label ~ypad:20 ~text ~xalign:0.5 ~packing:vbox#add () in
let exec_entry = let exec_entry =
......
...@@ -140,7 +140,7 @@ let option_list = Arg.align [ ...@@ -140,7 +140,7 @@ let option_list = Arg.align [
"--eval", Arg.String add_opt_eval, "--eval", Arg.String add_opt_eval,
"<id> Evaluate constant <id> in the last selected theory"; "<id> Evaluate constant <id> in the last selected theory";
"--exec", Arg.String add_opt_exec, "--exec", Arg.String add_opt_exec,
"<M.id> Execution function <id> in module <M>"; "<M.id> Execute function <id> in module <M>";
"-C", Arg.String (fun s -> opt_config := Some s), "-C", Arg.String (fun s -> opt_config := Some s),
"<file> Read configuration from <file>"; "<file> Read configuration from <file>";
"--config", Arg.String (fun s -> opt_config := Some s), "--config", Arg.String (fun s -> opt_config := Some s),
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment