updated icon of Isabelle.exe, using http://convertico.org/image_to_icon_converter on lib/logo/isabelle.gif (approx. 256x256 pixels according to Windows 7 format);

further encouragement to read jEdit documentation;

clarified view.title;

NEWS;

non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);

more thorough read_pid with extra delay, to give external process a chance to write pid file before attempting to terminate it -- especially relevant for PIDE document processing, where interrupts can happen in the range of milliseconds;