[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 https://sympa.inria.fr/sympa/arc/coq-club/2012-08/msg00092.html

It refers to general Proof General issues, but it was raised on the Coq mailing list first.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.