#910 (Apr 6, 2019, 12:50:09 AM)

1. option to bypass ttfautohint for experimentation (it can have adverse effects); (detail / hgweb)
2. clarified settings: allow for more Java versions; (detail / hgweb)
3. proper default; (detail / hgweb)
4. clarified; (detail / hgweb)
5. auxiliary operation for common uses of 'compile_generated_files'; (detail / hgweb)
6. merged (detail / hgweb)
7. Free_Abelian_Groups finally working; fixed some duplicates; cleaned up some proofs (detail / hgweb)
8. merged (detail / hgweb)
9. fixes for Free_Abelian_Groups (detail / hgweb)
10. updated screenshot; (detail / hgweb)
11. more NEWS; (detail / hgweb)
12. tuned; (detail / hgweb)
13. merged (detail / hgweb)
14. tuned; (detail / hgweb)
15. documentation for generated files; (detail / hgweb)
16. tuned; (detail / hgweb)
17. type Path.binding may be empty: check later via proper_binding;
    clarified 'export_prefix' default; (detail / hgweb)
18. clarified export_files: Isabelle_System.copy_file_base preserves given directory sub-structure;
    tuned concrete syntax; (detail / hgweb)
19. proper .exe path for export; (detail / hgweb)
20. updated to sqlite-jdbc-3.27.2.1; (detail / hgweb)
21. added command 'compile_generated_files';
    tuned signature; (detail / hgweb)
22. tuned signature: more operations; (detail / hgweb)
23. tuned signature; (detail / hgweb)
24. tuned signature; (detail / hgweb)
25. clarified signature: more explicit operations for corresponding Isar commands; (detail / hgweb)
26. proper URL; (detail / hgweb)
27. fixed markup in Poly_Mapping; Free_Abelian_Groups (but not yet imported by Algebra!) (detail / hgweb)
28. More group theory. Sum and product indexed by the non-neutral part of a set (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 12 min build duration;
• 1 hr 12 min total from scheduled to completion.