#879 (Mar 2, 2019, 12:50:08 AM)

1. system option "system_heaps" supersedes various command-line options for "system build mode";
   clarified "isabelle jedit" options -n, -s, -u; (detail / hgweb)
2. more uniform session_system_mode (see also e57416b649d5); (detail / hgweb)
3. more implicit reload, similar to VSCode; (detail / hgweb)
4. clarified signature;
   more thorough end_pos; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 29 min total from scheduled to completion.