#1403 (Feb 25, 2021, 12:50:07 AM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. A couple of basic lemmas about arg (detail / hgweb)
4. multiset as equivalence class of permuted lists (detail / hgweb)
5. emphasize connection to multisets (detail / hgweb)
6. proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.