isabelle: Changelog

haftmann [Wed, 22 Sep 2010 18:40:23 +0200] rev 39641

merged

haftmann [Wed, 22 Sep 2010 17:11:27 +0200] rev 39640

merged

haftmann [Wed, 22 Sep 2010 12:22:47 +0200] rev 39639

tuned

wenzelm [Fri, 24 Sep 2010 14:47:01 +0200] rev 39638

persistent session-panel.selection;

wenzelm [Fri, 24 Sep 2010 14:14:21 +0200] rev 39637

slightly more robust EditBus plumbing wrt. Document_View/Document_Model;

wenzelm [Fri, 24 Sep 2010 14:12:33 +0200] rev 39636

permissive exit;

wenzelm [Fri, 24 Sep 2010 00:00:21 +0200] rev 39635

added Session_Dockable.session_phase label;

wenzelm [Thu, 23 Sep 2010 23:04:50 +0200] rev 39634

separate Plugin.init_model; slightly more robust initialization of Document_View/Document_Model, depending of Session.phase;

wenzelm [Thu, 23 Sep 2010 22:04:18 +0200] rev 39633

simplified Session.Phase; slightly more robust session startup; misc tuning;

wenzelm [Thu, 23 Sep 2010 22:00:36 +0200] rev 39632

tuned messages -- cf. Admin/MacOS/App1;

isabelle