#965 (Jul 21, 2019, 12:50:09 AM)

1. more operations: support type classes within the logic; (detail / hgweb)
2. clarified export of sort algebra: avoid logical operations in Isabelle/Scala; (detail / hgweb)
3. more operations (avoid clones in Isabelle/MMT and Isabelle/Dedukti); (detail / hgweb)
4. more robust: avoid folding of jEdit file-names wrt. JEDIT_SESSION_DIRS; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.