#621 (Dec 12, 2016, 6:19:06 PM)

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:

• 5 min 1 sec waiting;
• 58 min build duration;
• 1 hr 3 min total from scheduled to completion.