isabelle: Changelog

wenzelm [Sun, 20 Dec 2020 22:04:47 +0100] rev 72966

tuned comments;

wenzelm [Sun, 20 Dec 2020 20:49:43 +0100] rev 72965

merged

wenzelm [Sun, 20 Dec 2020 20:14:05 +0100] rev 72964

proper relative path;

wenzelm [Sun, 20 Dec 2020 16:13:30 +0100] rev 72963

unused;

wenzelm [Sun, 20 Dec 2020 15:47:54 +0100] rev 72962

present auxiliary files with PIDE markup; more robust treatment of non-text files (notably $POLYML_EXE);

wenzelm [Sun, 20 Dec 2020 13:20:09 +0100] rev 72961

tuned;

wenzelm [Sun, 20 Dec 2020 12:32:12 +0100] rev 72960

tuned;

wenzelm [Sun, 20 Dec 2020 12:24:41 +0100] rev 72959

tuned signature: more explicit types;

wenzelm [Sat, 19 Dec 2020 15:32:29 +0100] rev 72958

tuned signature;

wenzelm [Sat, 19 Dec 2020 15:14:01 +0100] rev 72957

clarified signature and module structure;

isabelle