isabelle: Changelog

wenzelm [Sun, 13 Dec 2020 13:44:50 +0100] rev 72896

minor updates on look-and-feel;

wenzelm [Sun, 13 Dec 2020 13:39:36 +0100] rev 72895

update on platforms;

wenzelm [Sun, 13 Dec 2020 13:29:04 +0100] rev 72894

updated "macOS" terminology: current Big Sur is already version 11;

wenzelm [Sun, 13 Dec 2020 13:16:07 +0100] rev 72893

updated test machines;

wenzelm [Sun, 13 Dec 2020 12:57:58 +0100] rev 72892

full PIDE reports in batch build: see how it impacts overall performance;

wenzelm [Sat, 12 Dec 2020 20:02:46 +0100] rev 72891

purge build dir;

wenzelm [Sat, 12 Dec 2020 19:25:42 +0100] rev 72890

parallel jobs for make;

wenzelm [Sat, 12 Dec 2020 19:15:38 +0100] rev 72889

back to uniform build, using latest repository version for vampire_polymorphic;

wenzelm [Sat, 12 Dec 2020 16:43:34 +0100] rev 72888

prefer cmake build for standard version: more portable; prefer static build for Linux: allow newer Linux version;

wenzelm [Sat, 12 Dec 2020 15:00:30 +0100] rev 72887

clarified default name;

isabelle