isabelle: Changelog

wenzelm [Fri, 24 Jul 2020 20:43:32 +0200] rev 72071

follow Phabricator update 2020 Week 27;

wenzelm [Fri, 24 Jul 2020 16:45:20 +0200] rev 72070

tuned;

wenzelm [Fri, 24 Jul 2020 15:20:35 +0200] rev 72069

unused;

wenzelm [Fri, 24 Jul 2020 15:02:16 +0200] rev 72068

clarified errors: avoid hiding of import_errors/dir_errors by their consequences (file-access problems);

wenzelm [Fri, 24 Jul 2020 12:15:37 +0200] rev 72067

clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");

wenzelm [Thu, 23 Jul 2020 22:32:06 +0200] rev 72066

clarified signature;

wenzelm [Thu, 23 Jul 2020 14:25:48 +0200] rev 72065

clarified order --- proper sorting of requirements;

wenzelm [Thu, 23 Jul 2020 11:48:58 +0200] rev 72064

obsolete (see 9cde8c4ea5a5);

wenzelm [Tue, 21 Jul 2020 19:43:42 +0200] rev 72063

tuned --- based on hints by IntelliJ;

wenzelm [Tue, 21 Jul 2020 19:40:38 +0200] rev 72062

tuned signature;

isabelle