#204 (Dec 13, 2016, 12:50:09 AM)

1. merged (detail / hgweb)
2. removed obsolete RC tags; (detail / hgweb)
3. Added tag Isabelle2016-1 for changeset 7aa3c52f27aa (detail / hgweb)
4. tuned; (detail / hgweb)
5. proper session HOL-Types_To_Sets;
   NEWS;
   CONTRIBUTORS;
   tuned whitespace; (detail / hgweb)
6. Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52 (detail / hgweb)
7. notes on whitespace; (detail / hgweb)
8. avoid spurious messages -- potential cause of problems for "meson"; (detail / hgweb)
9. avoid spurious messages; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.4 sec waiting;
• 1 hr 4 min build duration;
• 1 hr 4 min total from scheduled to completion.