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.