isabelle: Changelog

haftmann [Wed, 04 Jan 2017 21:28:29 +0100] rev 64785

moved euclidean ring to HOL

haftmann [Wed, 04 Jan 2017 21:28:28 +0100] rev 64784

reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion

wenzelm [Wed, 04 Jan 2017 22:57:39 +0100] rev 64783

proper registration of implicitly loaded files;

wenzelm [Wed, 04 Jan 2017 22:31:40 +0100] rev 64782

tuned;

wenzelm [Wed, 04 Jan 2017 21:29:19 +0100] rev 64781

merged

wenzelm [Wed, 04 Jan 2017 21:26:56 +0100] rev 64780

more file types;

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;

isabelle