Hi,

Is there a way to disable the display of messages that are annotated with proof-shell-eager-annotation-start and proof-shell-eager-annotation-end? I believe these are so called 'urgent messages'.


Thanks
Michael
_______________________________________________
ProofGeneral mailing list
ProofGeneral@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to