~parent:gui#main#toplevel ())
()
in
+ Predefined_virtuals.load_predefined_virtuals ();
+ Predefined_virtuals.load_predefined_classes ();
gui#sourceView#source_buffer#begin_not_undoable_action ();
s#reset ();
s#template ();
in
addDebugItem "dump aliases" (fun _ ->
let status = script#lexicon_status in
- HLog.debug (DisambiguatePp.pp_environment status.LexiconEngine.aliases));
+ HLog.debug (String.concat "\n"
+ (DisambiguateTypes.Environment.fold
+ (fun _ x l -> (LexiconAstPp.pp_alias x)::l)
+ status.LexiconEngine.aliases [])));
addDebugItem "dump environment to \"env.dump\"" (fun _ ->
let oc = open_out "env.dump" in
CicEnvironment.dump_to_channel oc;
~doc:(HExtlib.unopt (mview ())#get_document) ~name:"matita.xml" ())); *)
addDebugItem "load (sequent) MathML from matita.xml"
(fun _ -> (mview ())#load_uri ~filename:"matita.xml");
- addDebugItem "autoWin"
- (fun _ -> MatitaAutoGui.auto_dialog Auto.get_auto_status);
+ addDebugSeparator ();
+ addDebugItem "Expand virtuals"
+ (fun _ -> (MatitaScript.current ())#expandAllVirtuals);
end
(** Debugging }}} *)