#926 (Mar 14, 2019, 7:08:05 PM)

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

1. removed generated code from versioning (detail)
2. show setup for String.literal (detail)

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

1. include zarith in the default opam setup (detail / hgweb)
2. dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 4 min 31 sec build duration;
• 6 min 33 sec total from scheduled to completion.

• CakeML
• Higher_Order_Terms
• Collections
• Native_Word
• Affine_Arithmetic
• Iptables_Semantics
• Factored_Transition_System_Bounding
• Distribution
• Ordinary_Differential_Equations