#1358 (Sep 7, 2019, 8:23:05 PM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. clarified session directories; (detail)
2. clarified session directories; (detail)
3. clarified session directories; (detail)
4. clarified session directories; (detail)
5. clarified session directories; (detail)
6. non-executable source files; (detail)
7. clarified session directories; (detail)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. theory_name based on session_directories: no need for expensive all_known; (detail / hgweb)
2. clarified session_directories: relative to session_path, with overlapping information; (detail / hgweb)
3. clarified signature: retain global session information, unaffected by later restriction; (detail / hgweb)
4. disable fragile options for now; (detail / hgweb)
5. avoid overlapping session directories; (detail / hgweb)
6. support for explicit session directories; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 1 hr 41 min build duration;
• 1 hr 43 min total from scheduled to completion.