#1059 (Nov 13, 2019, 12:50:08 AM)

1. removed obsolete material -- already covered by "system" manual;
   tuned; (detail / hgweb)
2. tuned; (detail / hgweb)
3. merged (detail / hgweb)
4. more documentation;
   tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. more options; (detail / hgweb)
7. clarified Console_Progress.echo: include empty lines as in other Progress instances, especially relevant for Progress.bash (e.g. "isabelle phabricator ./bin/config help"); (detail / hgweb)
8. documentation on Phabricator server administration; (detail / hgweb)
9. tuned message; (detail / hgweb)
10. added "isabelle phabricator"; (detail / hgweb)
11. New library material from the AFP entry ZFC_in_HOL (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.