isabelle: Changelog

wenzelm [Mon, 03 Jun 2019 20:09:43 +0200] rev 70310

clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;

wenzelm [Mon, 03 Jun 2019 17:01:28 +0200] rev 70309

tuned;

wenzelm [Mon, 03 Jun 2019 15:40:08 +0200] rev 70308

clarified signature;

wenzelm [Mon, 03 Jun 2019 14:47:27 +0200] rev 70307

tuned whitespace;

wenzelm [Mon, 03 Jun 2019 14:26:21 +0200] rev 70306

clarified context: prefer abstract Variable.auto_fixes;

wenzelm [Mon, 03 Jun 2019 13:49:35 +0200] rev 70305

tuned;

wenzelm [Mon, 03 Jun 2019 13:28:01 +0200] rev 70304

tuned signature;

wenzelm [Mon, 03 Jun 2019 11:27:23 +0200] rev 70303

redundant: default is false;

wenzelm [Sat, 01 Jun 2019 21:43:41 +0200] rev 70302

tuned imports -- accommodate scala-2.13.0-RC3;

wenzelm [Sat, 01 Jun 2019 21:43:03 +0200] rev 70301

tuned -- accommodate scala-2.13.0-RC3;

isabelle