isabelle: Changelog

wenzelm [Sat, 28 Jul 2018 16:30:58 +0200] rev 68699

tuned;

wenzelm [Sat, 28 Jul 2018 16:08:04 +0200] rev 68698

eliminated non-monotomnic Lazy.is_pending: Result may return to Expr due to Interrupt;

wenzelm [Sat, 28 Jul 2018 15:09:37 +0200] rev 68697

unused;

wenzelm [Fri, 27 Jul 2018 23:04:27 +0200] rev 68696

removed junk;

wenzelm [Fri, 27 Jul 2018 22:23:37 +0200] rev 68695

clarified documentation;

wenzelm [Fri, 27 Jul 2018 22:09:27 +0200] rev 68694

added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);

wenzelm [Fri, 27 Jul 2018 17:32:16 +0200] rev 68693

proper adjust_maxidx: assms could have maxidx >= 0, e.g. from command "subgoal premises";

wenzelm [Fri, 27 Jul 2018 17:27:42 +0200] rev 68692

proper maxidx: if x does not occur in A, its maxidx could get lost;

wenzelm [Fri, 27 Jul 2018 16:21:09 +0200] rev 68691

tuned;

wenzelm [Thu, 26 Jul 2018 15:19:56 +0200] rev 68690

more flexible session selection as in "isabelle jedit";

isabelle