#1010 (Feb 3, 2019, 1:33:11 AM)

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

1. clarified signature: Path.T as in Generated_Files; (detail)
2. back to polyml-test-1b2dcf8f5202 -- more stable; (detail)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 23 hr build duration;
• 23 hr total from scheduled to completion.