Sun, 03 Apr 2016 23:56:52 +0200 renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
wenzelm [Sun, 03 Apr 2016 23:56:52 +0200] rev 62840
renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
Sun, 03 Apr 2016 23:28:48 +0200 clarified SML name space: no access to structure PolyML;
wenzelm [Sun, 03 Apr 2016 23:28:48 +0200] rev 62839
clarified SML name space: no access to structure PolyML;
Sun, 03 Apr 2016 23:16:13 +0200 prefer internal tool;
wenzelm [Sun, 03 Apr 2016 23:16:13 +0200] rev 62838
prefer internal tool;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip