wenzelm [Sun, 03 Mar 2019 20:27:42 +0100] rev 70041
tuned signature;
wenzelm [Sun, 03 Mar 2019 20:13:25 +0100] rev 70040
clarified signature -- allow more re-use;
wenzelm [Sun, 03 Mar 2019 19:30:17 +0100] rev 70039
concrete predicates from "Dublin Core";
wenzelm [Sun, 03 Mar 2019 19:12:28 +0100] rev 70038
clarified signature;
suppress already loaded theories;
wenzelm [Sun, 03 Mar 2019 18:45:08 +0100] rev 70037
tuned signature;
wenzelm [Sun, 03 Mar 2019 16:00:14 +0100] rev 70036
tuned document;
wenzelm [Fri, 01 Mar 2019 21:29:59 +0100] rev 70035
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 70034
more uniform session_system_mode (see also e57416b649d5);
wenzelm [Fri, 01 Mar 2019 17:00:55 +0100] rev 70033
more implicit reload, similar to VSCode;
wenzelm [Fri, 01 Mar 2019 16:49:41 +0100] rev 70032
clarified signature;
more thorough end_pos;