#1358 (Dec 21, 2017, 11:41:21 PM)

1. tuned output; (detail / hgweb)
2. merged (detail / hgweb)
3. isabelle.preview presents bibtex database files as well; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. isabelle.preview presents auxiliary text files as well; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. bibtex HTML output via external tool; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.