Commented the code of proof.el and lego.el a bit. Made a minor change

to the way errors are handled, so that any delayed output is inserted
in the buffer before the error message is printed.

0 files changed, 0 insertions, 0 deletions