#1322 (Jan 13, 2018, 10:17:12 PM)

1. simplified; (detail / hgweb)
2. merged (detail / hgweb)
3. non-executable files; (detail / hgweb)
4. clarified formal comments; (detail / hgweb)
5. prefer formal comments;
   avoid outer verbatim token: Thy_Output.token / Antiquote.parse fails due to partitioning in operator ranges; (detail / hgweb)
6. clarified formal comment, based on version before 3ccb204d9c5f and educated guessing; (detail / hgweb)
7. prefer formal comments; (detail / hgweb)
8. \usepackage[normalem]{ulem} is already provided by isabelle.sty (Isabelle/efc9ec539224); (detail / hgweb)
9. removed old/unused clones of Isabelle distribution files; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 2 hr 28 min build duration;
• 2 hr 28 min total from scheduled to completion.