#225 (Jan 5, 2017, 12:51:08 AM)

1. proper registration of implicitly loaded files; (detail / hgweb)
2. tuned; (detail / hgweb)
3. merged (detail / hgweb)
4. more file types; (detail / hgweb)
5. tuned; (detail / hgweb)
6. proper interpretation of Resources.source_file as platform file; (detail / hgweb)
7. clarified Document.Node.Name (again): canonical platform file;
   identify document models by native java.io.File; (detail / hgweb)
8. Windows UNC path is plain file; (detail / hgweb)
9. clarified file URIs; (detail / hgweb)
10. Merge (detail / hgweb)
11. Many new theorems, and more tidying (detail / hgweb)
12. merged (detail / hgweb)
13. tuned (detail / hgweb)

Started by an SCM change

This run spent:

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