isabelle: Changelog

nipkow [Mon, 31 Dec 2018 13:24:20 +0100] rev 69555

dynkin -> Dynkin

nipkow [Mon, 31 Dec 2018 13:05:15 +0100] rev 69554

tuned layout

nipkow [Mon, 31 Dec 2018 12:25:21 +0100] rev 69553

tuned header

wenzelm [Sun, 30 Dec 2018 17:44:33 +0100] rev 69552

merged

wenzelm [Sun, 30 Dec 2018 16:56:31 +0100] rev 69551

exclude file name components that are special on Windows;

wenzelm [Sun, 30 Dec 2018 16:25:15 +0100] rev 69550

reject further illegal chars according to https://docs.microsoft.com/en-us/windows/desktop/fileio/naming-a-file

wenzelm [Sun, 30 Dec 2018 16:06:09 +0100] rev 69549

tuned;

wenzelm [Sun, 30 Dec 2018 15:36:43 +0100] rev 69548

more strict check: avoid confusion of Path.basic with Path.current / Path.parent;

wenzelm [Sun, 30 Dec 2018 15:27:59 +0100] rev 69547

tuned;

haftmann [Sun, 30 Dec 2018 10:34:56 +0000] rev 69546

prefer naming convention from datatype package for strong congruence rules

isabelle