isabelle: Changelog

wenzelm [Wed, 31 May 2017 17:25:26 +0200] rev 65983

explicit preview request/response; commands, icons, menus like VSCode markdown preview; clarified Uri information (again); tuned;

wenzelm [Wed, 31 May 2017 11:49:29 +0200] rev 65982

tuned layout;

wenzelm [Wed, 31 May 2017 11:43:37 +0200] rev 65981

more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/

wenzelm [Tue, 30 May 2017 22:39:18 +0200] rev 65980

merged

wenzelm [Tue, 30 May 2017 22:14:00 +0200] rev 65979

tuned -- like Dynamic_Preview;

wenzelm [Tue, 30 May 2017 22:09:37 +0200] rev 65978

tuned;

wenzelm [Tue, 30 May 2017 22:06:39 +0200] rev 65977

provide preview content on Scala side (similar to output);

wenzelm [Tue, 30 May 2017 21:38:38 +0200] rev 65976

tuned signature;

wenzelm [Tue, 30 May 2017 19:25:06 +0200] rev 65975

more careful treatment of context.subscriptions;

wenzelm [Tue, 30 May 2017 19:19:39 +0200] rev 65974

clarified event handling; tuned;

isabelle