Summary
- proper registration of implicitly loaded files;
- tuned;
- merged
- more file types;
- tuned;
- proper interpretation of Resources.source_file as platform file;
- clarified Document.Node.Name (again): canonical platform file; identify document models by native java.io.File;
- Windows UNC path is plain file;
- clarified file URIs;
- Merge
- Many new theorems, and more tidying
- merged
- tuned