#1767 (Sep 4, 2022, 3:54:46 AM)

1. tuned signature; (detail / hgweb)
2. check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset"; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned --- more robust syntax; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination"; (detail / hgweb)
7. unused (see 347ed6219dab); (detail / hgweb)
8. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 3 min waiting;
• 1 hr 49 min build duration;
• 4 hr 53 min total from scheduled to completion.