#836 (Jan 6, 2019, 12:50:08 AM)

1. documentation on "isabelle update"; (detail / hgweb)
2. eliminated spurious \<^print>; (detail / hgweb)
3. isabelle update -u control_cartouches; (detail / hgweb)
4. latex macro for \<^const>; (detail / hgweb)
5. mark for isabelle update -u control_cartouches; (detail / hgweb)
6. proper session base foundations (amending e848328cb2c1); (detail / hgweb)

Started by an SCM change

This run spent:

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