isabelle: Changelog

wenzelm [Thu, 25 May 2017 21:20:22 +0200] rev 65926

restricted perspective depending on the caret -- important for reactivity when editing big files;

wenzelm [Thu, 25 May 2017 19:50:37 +0200] rev 65925

parallel retrieval of PIDE markup;

wenzelm [Thu, 25 May 2017 19:23:01 +0200] rev 65924

clarified output: do not require "method", which is absent for ResponseMessage;

wenzelm [Thu, 25 May 2017 18:13:16 +0200] rev 65923

tuned;

wenzelm [Thu, 25 May 2017 18:07:29 +0200] rev 65922

clarified message logging;

wenzelm [Thu, 25 May 2017 17:32:35 +0200] rev 65921

more operations;

wenzelm [Thu, 25 May 2017 17:28:11 +0200] rev 65920

clarified signature;

haftmann [Thu, 25 May 2017 14:38:41 +0200] rev 65919

obsolete special case

wenzelm [Wed, 24 May 2017 16:35:18 +0200] rev 65918

tuned message;

wenzelm [Wed, 24 May 2017 15:04:13 +0200] rev 65917

proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;

isabelle