#212 (Dec 21, 2016, 12:50:10 AM)

1. clarified module name; (detail / hgweb)
2. more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; (detail / hgweb)
3. clarified module name; (detail / hgweb)
4. merged (detail / hgweb)
5. proper reset of column (amending 01e50039edc9); (detail / hgweb)
6. added option -T: text length encoding; (detail / hgweb)
7. more systematic text length wrt. encoding; (detail / hgweb)
8. tuned; (detail / hgweb)
9. more systematic text length; (detail / hgweb)
10. unused; (detail / hgweb)
11. proper counting of chars; (detail / hgweb)
12. tuned; (detail / hgweb)
13. clarified modules; (detail / hgweb)
14. clarified modules; (detail / hgweb)
15. tuned; (detail / hgweb)
16. merge (detail / hgweb)
17. generalized code (towards nonuniform datatypes) (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 3 min build duration;
• 1 hr 3 min total from scheduled to completion.