wenzelm [Sun, 03 Mar 2019 19:12:28 +0100] rev 69857
clarified signature;
suppress already loaded theories;
wenzelm [Sun, 03 Mar 2019 18:45:08 +0100] rev 69856
tuned signature;
wenzelm [Sun, 03 Mar 2019 16:00:14 +0100] rev 69855
tuned document;
wenzelm [Fri, 01 Mar 2019 21:29:59 +0100] rev 69854
system option "system_heaps" supersedes various command-line options for "system build mode";
clarified "isabelle jedit" options -n, -s, -u;
wenzelm [Fri, 01 Mar 2019 20:16:26 +0100] rev 69853
more uniform session_system_mode (see also e57416b649d5);
wenzelm [Fri, 01 Mar 2019 17:00:55 +0100] rev 69852
more implicit reload, similar to VSCode;
wenzelm [Fri, 01 Mar 2019 16:49:41 +0100] rev 69851
clarified signature;
more thorough end_pos;
wenzelm [Thu, 28 Feb 2019 21:59:58 +0100] rev 69850
tuned proofs -- eliminated odd case_tac;
wenzelm [Thu, 28 Feb 2019 21:37:24 +0100] rev 69849
more scalable on 32-bit Poly/ML;
wenzelm [Thu, 28 Feb 2019 21:16:17 +0100] rev 69848
tuned;