isabelle: Changelog

wenzelm [Thu, 05 Dec 2013 17:58:03 +0100] rev 54671

merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;

wenzelm [Thu, 05 Dec 2013 17:52:12 +0100] rev 54670

removed obsolete RC tags;

wenzelm [Thu, 05 Dec 2013 17:51:29 +0100] rev 54669

merged;

wenzelm [Thu, 05 Dec 2013 16:14:50 +0100] rev 54668

Added tag Isabelle2013-2 for changeset 4dd08fe126ba

wenzelm [Wed, 04 Dec 2013 18:59:20 +0100] rev 54667

remove junk;

wenzelm [Wed, 04 Dec 2013 18:38:26 +0100] rev 54666

recover main entry point from d9c88171b393 -- occasionally useful with plain "java -jar jedit.jar";

wenzelm [Mon, 02 Dec 2013 15:49:02 +0100] rev 54665

tuned;

wenzelm [Sun, 01 Dec 2013 17:09:35 +0100] rev 54664

tuned;

wenzelm [Sun, 01 Dec 2013 16:35:38 +0100] rev 54663

Added tag Isabelle2013-2-RC3 for changeset aeb21314d078

wenzelm [Sun, 01 Dec 2013 16:01:03 +0100] rev 54662

prefer transparent application icon (like Mac OS X);

isabelle