#728 (Sep 7, 2018, 12:50:10 AM)

1. merged (detail / hgweb)
2. added int and real (detail / hgweb)
3. simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments; (detail / hgweb)
4. setup option ML_system for special values that cannot be rebound within regular ML; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.