isabelle: Changelog

wenzelm [Wed, 15 Jan 2020 19:54:50 +0100] rev 71383

misc tuning, following hint by IntelliJ;

wenzelm [Wed, 15 Jan 2020 19:49:13 +0100] rev 71382

tuned;

wenzelm [Wed, 15 Jan 2020 19:46:04 +0100] rev 71381

tuned -- avoid deprecated constructors;

wenzelm [Wed, 15 Jan 2020 19:45:06 +0100] rev 71380

proper comparison of Option values, following hint by IntelliJ;

wenzelm [Wed, 15 Jan 2020 16:18:24 +0100] rev 71379

unused -- clone of Option.apply;

wenzelm [Wed, 15 Jan 2020 15:05:33 +0100] rev 71378

added "isabelle scala_project" to support e.g. IntelliJ IDEA;

wenzelm [Wed, 15 Jan 2020 13:22:16 +0100] rev 71377

unused;

wenzelm [Tue, 14 Jan 2020 16:03:31 +0100] rev 71376

more antiquotations;

wenzelm [Mon, 13 Jan 2020 12:11:25 +0100] rev 71375

tuned messages;

wenzelm [Mon, 13 Jan 2020 12:09:28 +0100] rev 71374

tuned;

isabelle