Re: [isabelle] Suppressing warnings

declare [[unify_trace_bound = 100]]

or some value > 60. By default, unification starts tracing when the
search depth reaches 50, and stops searching at 60. If you get many such
warnings, it may be an indication that some proof method (eg auto) is
not getting anywhere and is not appropriate.


Steve W schrieb:
> Hi,
> Does anyone know how to turn off warnings in Proof General? Warnings like
> "Unification bound exceeded" sometimes flood my response window.
> Cheers,
> Steve

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.