#837 (Jan 7, 2019, 12:50:07 AM)

1. moved some material from Connected.thy to more appropriate places (detail / hgweb)
2. proper example for inner syntax, not name; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned document layout; (detail / hgweb)
5. retain important whitespace (see 1daf07b65385); (detail / hgweb)
6. merged (detail / hgweb)
7. isabelle update -u path_cartouches; (detail / hgweb)
8. isabelle update -u control_cartouches; (detail / hgweb)
9. support for isabelle update -u path_cartouches; (detail / hgweb)
10. clarified documentation; (detail / hgweb)
11. redundant (see isabelle.Dump.make_options); (detail / hgweb)
12. typed definitions (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.