#752 (Oct 1, 2018, 12:50:09 AM)

1. merged (detail / hgweb)
2. fix (non-existent) document generation (detail / hgweb)
3. updated to scala-2.12.7; (detail / hgweb)
4. news (detail / hgweb)
5. de-emphasize HOL-SPARK: somewhat outdated; (detail / hgweb)
6. proper naming conventions for contexts; (detail / hgweb)
7. permissive declaration attribute "relator_mono", e.g. relevant for Binomial-Heaps.BinomialHeap with -o export_theory; (detail / hgweb)
8. tuned spelling; (detail / hgweb)
9. tuned whitespace and sections; (detail / hgweb)
10. tuned -- eliminated clone; (detail / hgweb)
11. suppress aux. locales from command 'experiment' -- avoid crash of theory Dict_Construction.Test_Dict_Construction (AFP); (detail / hgweb)
12. obsolete (see 6f8ae6ddc26b); (detail / hgweb)
13. updated to new list_update precedence (detail / hgweb)
14. avoid confusing precedences (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.