#226 (Jan 6, 2017, 12:51:07 AM)

1. more informative error for spurious crash; (detail / hgweb)
2. merged (detail / hgweb)
3. tuned; (detail / hgweb)
4. dummy File_Watcher for Windows (spurious crashes seen on Windows 7); (detail / hgweb)
5. more robust treatment of logical lines; (detail / hgweb)
6. updated package; (detail / hgweb)
7. proper name for recursive grammar;
   pro-forma update of fileTypes; (detail / hgweb)
8. emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output; (detail / hgweb)
9. suppress empty results; (detail / hgweb)
10. tuned; (detail / hgweb)
11. manage document blobs as well; (detail / hgweb)
12. misc tuning and clarification; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned; (detail / hgweb)
16. tuned structure (detail / hgweb)
17. lead_coeff is more appropriate as abbreviation (detail / hgweb)
18. more lemmas;
    tuned headings (detail / hgweb)
19. covering space lift lemmas (detail / hgweb)
20. facts about ANRs, ENRs, covering spaces (detail / hgweb)
21. New theory of arcwise connected sets and other new material (detail / hgweb)
22. connectedness, circles not simply connected , punctured universe (detail / hgweb)
23. New material about path connectedness, etc. (detail / hgweb)
24. tuned NEWS (detail / hgweb)
25. reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings (detail / hgweb)
26. moved euclidean ring to HOL (detail / hgweb)
27. reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion (detail / hgweb)

Started by an SCM change

This run spent:

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