isabelle: Changelog

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

wenzelm [Wed, 25 Jul 2018 22:33:04 +0200] rev 68689

updated to jdk-8u181;

paulson [Sat, 28 Jul 2018 16:06:51 +0100] rev 68688

merged

paulson <lp15@cam.ac.uk> [Sat, 28 Jul 2018 16:06:36 +0100] rev 68687

de-applying and simplification

Lars Hupel <lars.hupel@mytum.de> [Sat, 28 Jul 2018 07:28:18 +0200] rev 68686

datatype_record produces simp theorems; contributed in part by Yu Zhang

wenzelm [Wed, 25 Jul 2018 22:33:04 +0200] rev 68685

updated to jdk-8u181;

isabelle