- (fun mi () -> assert false (* MATITA 1.0 *));
- addDebugSeparator ();
- addDebugItem "always show all disambiguation errors"
- (fun _ -> MatitaGui.all_disambiguation_passes := true);
- addDebugItem "prune disambiguation errors"
- (fun _ -> MatitaGui.all_disambiguation_passes := false);