isabelle: Changelog

wenzelm [Wed, 23 Jul 2014 16:20:07 +0200] rev 57620

more explicit treatment of cleared nodes (removal is implicit);

wenzelm [Wed, 23 Jul 2014 15:32:05 +0200] rev 57619

clarified display;

wenzelm [Wed, 23 Jul 2014 15:11:42 +0200] rev 57618

more workarounds for scalac;

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);

isabelle