#1326 (Dec 6, 2017, 10:22:08 PM)

1. just one session for bulky HOL-Analysis documents; (detail / hgweb)
2. more default tags; (detail / hgweb)
3. merged (detail / hgweb)
4. prefer control symbol antiquotations; (detail / hgweb)
5. more robust, e.g. when Sidekick produces multi-selection; (detail / hgweb)
6. prefer control symbol antiquotations; (detail / hgweb)
7. more embedded cartouche arguments;
   more uniform LaTeX output for control symbols; (detail / hgweb)
8. name mangling for Latex macros;
   tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 43 min total from scheduled to completion.