isabelle: Changelog

wenzelm [Mon, 21 Dec 2020 13:58:11 +0100] rev 72971

rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;

wenzelm [Mon, 21 Dec 2020 13:03:23 +0100] rev 72970

sort lines;

wenzelm [Mon, 21 Dec 2020 12:51:28 +0100] rev 72969

provide zipperposition-2.0 for experimentation;

desharna [Mon, 21 Dec 2020 08:15:45 +0100] rev 72968

merged

desharna [Thu, 17 Dec 2020 15:31:31 +0100] rev 72967

tweaked tptp parsing when source info is missing

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);

isabelle