[isabelle] Suppressing warnings



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.