(fun _ ->
let nb = gui#main#hintNotebook in
nb#goto_page ((nb#current_page + 1) mod 3));
+ (*
addDebugItem "print (on stdout) \"statement\" grammar entry"
(fun _ ->
Grammar.print_entry Format.std_formatter
(Grammar.Entry.obj CicTextualParser2.statement);
- Format.pp_print_flush Format.std_formatter ());
+ Format.pp_print_flush Format.std_formatter ());*)
end
(** </DEBUGGING> *)