#630 (Dec 11, 2018, 12:05:06 AM)

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

1. more Haskell operations; (detail / hgweb)
2. tuned headers; (detail / hgweb)
3. more formal Haskell project setup, with dependencies on packages from "stackage"; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned proofs; (detail / hgweb)
6. clarified modules, following bytes.scala; (detail / hgweb)
7. clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString); (detail / hgweb)

Started by an SCM change

This run spent:

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