isabelle: Changelog

wenzelm [Wed, 23 Jul 2014 15:00:46 +0200] rev 57617

clarified display;

wenzelm [Wed, 23 Jul 2014 14:50:20 +0200] rev 57616

avoid redundant data structure;

wenzelm [Wed, 23 Jul 2014 13:01:30 +0200] rev 57615

more explicit discrimination of empty nodes -- suppress from Theories panel;

wenzelm [Wed, 23 Jul 2014 11:53:34 +0200] rev 57614

tuned;

wenzelm [Wed, 23 Jul 2014 11:22:56 +0200] rev 57613

tuned comments;

wenzelm [Wed, 23 Jul 2014 11:19:24 +0200] rev 57612

clarified module name: facilitate alternative GUI frameworks;

wenzelm [Wed, 23 Jul 2014 11:08:24 +0200] rev 57611

proper change of perspective for removed nodes (stemming from closed buffers);

wenzelm [Wed, 23 Jul 2014 10:02:19 +0200] rev 57610

tuned signature;

wenzelm [Tue, 22 Jul 2014 22:18:50 +0200] rev 57609

some robustification of console output;

wenzelm [Tue, 22 Jul 2014 20:03:52 +0200] rev 57608

updated ErrorList.jar;

isabelle