#1204 (Oct 5, 2019, 1:33:12 AM)

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

1. avoid name clash of internal derivations; (detail)
2. avoid name clash of internal derivations; (detail)
3. proper Consts.dummy_types; (detail)

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

1. obsolete; (detail)
2. proper replacement for (map_types (K dummyT)); (detail)
3. Term_XML.Encode/Decode.term uses Const "typargs"; (detail)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.