isabelle: Changelog

wenzelm [Mon, 27 Nov 2017 16:48:55 +0100] rev 67102

updated documentation;

wenzelm [Mon, 27 Nov 2017 16:44:32 +0100] rev 67101

prefer formal $POLYML_EXE;

wenzelm [Mon, 27 Nov 2017 16:18:29 +0100] rev 67100

clarified main sessions;

wenzelm [Mon, 27 Nov 2017 15:10:50 +0100] rev 67099

updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;

wenzelm [Mon, 27 Nov 2017 16:07:49 +0100] rev 67098

suppress warning;

wenzelm [Mon, 27 Nov 2017 15:59:24 +0100] rev 67097

retain files in Pure.thy, notably $POLYML_EXE;

wenzelm [Mon, 27 Nov 2017 11:45:20 +0100] rev 67096

proper context (as in 'term' command);

isabelle