isabelle: Changelog

wenzelm [Mon, 12 Feb 2018 13:27:30 +0100] rev 67604

permissive Doc.dirs: some entries may be absent due to distribution bootstrap, e.g. $JEDIT_HOME/dist/doc;

wenzelm [Sun, 11 Feb 2018 22:26:58 +0100] rev 67603

merged

wenzelm [Sun, 11 Feb 2018 15:13:40 +0100] rev 67602

updated polyml component -- omitting bad polyml-5.7.1-3;

Lars Hupel <lars.hupel@mytum.de> [Sun, 11 Feb 2018 18:09:17 +0100] rev 67601

use preferred resolver according to DOI Handbook §3.8

wenzelm [Sun, 11 Feb 2018 15:03:25 +0100] rev 67600

no --enable-shared for x86_64-darwin: does not work on some test machine;

wenzelm [Sun, 11 Feb 2018 14:21:16 +0100] rev 67599

proper target directory;

wenzelm [Sun, 11 Feb 2018 13:50:28 +0100] rev 67598

tuned;

wenzelm [Sun, 11 Feb 2018 13:45:51 +0100] rev 67597

more robust options;

wenzelm [Sun, 11 Feb 2018 13:24:38 +0100] rev 67596

back to --disable-shared on windows to avoid odd core-dump of polyimport;

wenzelm [Sun, 11 Feb 2018 13:13:03 +0100] rev 67595

tuned;

isabelle