[isabelle] Emacs hurts
Too much Escape-Meta-Alt-Control-Shift can damage your fingers. This is
actually a serious issue that is right now discussed on Coq-club
It refers to general Proof General issues, but it was raised on the Coq
mailing list first.
This archive was generated by a fusion of
Pipermail (Mailman edition) and