isabelle: Changelog

wenzelm [Wed, 04 Jan 2017 21:20:37 +0100] rev 64779

tuned;

wenzelm [Wed, 04 Jan 2017 20:52:06 +0100] rev 64778

proper interpretation of Resources.source_file as platform file;

wenzelm [Wed, 04 Jan 2017 19:42:08 +0100] rev 64777

clarified Document.Node.Name (again): canonical platform file; identify document models by native java.io.File;

wenzelm [Wed, 04 Jan 2017 15:20:54 +0100] rev 64776

Windows UNC path is plain file;

wenzelm [Wed, 04 Jan 2017 12:03:45 +0100] rev 64775

clarified file URIs;

paulson <lp15@cam.ac.uk> [Wed, 04 Jan 2017 16:33:58 +0000] rev 64774

Merge

paulson <lp15@cam.ac.uk> [Wed, 04 Jan 2017 16:18:50 +0000] rev 64773

Many new theorems, and more tidying

nipkow [Wed, 04 Jan 2017 14:26:19 +0100] rev 64772

merged

nipkow [Wed, 04 Jan 2017 14:26:08 +0100] rev 64771

tuned

wenzelm [Tue, 03 Jan 2017 23:21:09 +0100] rev 64770

more robust, notably on Windows;

isabelle