#804 (Dec 1, 2018, 1:38:21 AM)

1. more general command 'generate_file' for registered file types, notably Haskell;
   discontinued 'generate_haskell_file', 'export_haskell_file';
   eliminated generated sources: compile files in tmp dir; (detail / hgweb)
2. tuned imports; (detail / hgweb)
3. more robust: avoid broken tar.gz; (detail / hgweb)
4. more Isabelle fonts; (detail / hgweb)
5. use Isabelle fonts for all GUI look-and-feels; (detail / hgweb)
6. tuned; (detail / hgweb)
7. use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f); (detail / hgweb)

Started by an SCM change

This run spent:

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