[isabelle-dev] copy-paste in Isabelle/jEdit

Makarius makarius at sketis.net
Fri Apr 20 19:00:41 CEST 2012

On Fri, 20 Apr 2012, Lawrence Paulson wrote:

> Cut and paste works much better with this version!
> I still have to get to grips with a lot of very basic things

For me it has required 2 full weeks to retrain my fingers, after giving up 
Escape-Meta-Alt-Control-Shift in summer 2007.

This is an insider joke: C-A C-X C-S

Emacs: go to start of line, then save buffer
jEdit: select whole text, cut it off, save file -- which is now empty


More information about the isabelle-dev mailing list