more efficient inlined properties, especially relevant for voluminous tasks trace;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51045 630c0895d9d1b22f0c45f8c184d2d9d1ba1a8ccd
clarified notion of Command.proper_range (according to Token.is_proper), especially relevant for Active.try_replace_command, to avoid loosing subsequent comments accidentally;
reverted f3588e59aeaa accordingly;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51048 123be08eed88654bb032e1c334f40c7f281f728a
minimal updated of jEdit/README.html, without any substantial reforms;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51049 0b48d00aba8f58efad68fe794ae4aa4572fbcfc1
more portable alternative shortcuts on numeric keypad;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51069 2f50ddd3b5860b830d65cb6e81c83d79c8204c98
some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51071 b7e7557e80b55edfbc8de8317c167ce2b1d55751
more robust JEdit_Lib.pixel_range, which could crash via Rich_Text_Area.tooltip_painter with bad mouse coordinates;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51078 4e1c940b1fb255cdfee4755b63e5f3f995cbd838
updated PIDE notes;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51082 55b82b1417d128a57b1aab3e8600b17e7fa25763
avoid crash (NPE) when properties are changed during prover startup (e.g. by font scaling);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51083 10062c40ddaa452a6cdec4c805bcf89f14cd4597
file system operations for Graphics2D output;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51098 22d5c010ef5c9c3f79cf66a7cb3acdd84c0df828
Java assumes regular "re-parenting" window manager;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@51109 cabf63b1ddfd1dd65e684d52b27359c505f626f7