#813 (Dec 11, 2018, 1:38:26 AM)

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:

• 48 min waiting;
• 1 hr 16 min build duration;
• 2 hr 5 min total from scheduled to completion.