#357 (Jun 25, 2017, 12:50:09 AM)

1. back to scala-2.12.2, after a41435469559; (detail / hgweb)
2. more direct construction of integer_of_num;
   code equations for integer_of_char may rely on pattern matching on Char (detail / hgweb)
3. treat "undefined" constants internally as special form of case combinators (detail / hgweb)
4. Improved error reporting when activating a locale instance (beyond syntax decls). (detail / hgweb)
5. Additional corollary Knaster_Tarski_idem_inf_eq. (detail / hgweb)
6. clarified indentation; (detail / hgweb)
7. clarified indentation; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 19 min total from scheduled to completion.