#1501 (Jul 12, 2021, 12:50:08 AM)

1. shasum for project meta-info; (detail / hgweb)
2. even more strict shasum (amending c9771e1b3223); (detail / hgweb)
3. clarified Isabelle meta-info within jar; (detail / hgweb)
4. strict shasum: this is used on input files; (detail / hgweb)
5. clarified modules;
   clarified messages;
   clarified return code; (detail / hgweb)
6. support for command-line operations; (detail / hgweb)
7. operations for all components; (detail / hgweb)
8. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 29 min total from scheduled to completion.