isabelle: Changelog

wenzelm [Tue, 29 Sep 2020 12:12:34 +0200] rev 72331

clarified default (see also 0c7a74a1c6d9);

wenzelm [Tue, 29 Sep 2020 12:01:30 +0200] rev 72330

tuned;

wenzelm [Tue, 29 Sep 2020 11:59:59 +0200] rev 72329

obsolete --- Java is always present via component;

wenzelm [Tue, 29 Sep 2020 11:35:21 +0200] rev 72328

obsolete --- KODKODI is always present via component;

wenzelm [Tue, 29 Sep 2020 11:15:51 +0200] rev 72327

obsolete --- ML module Nitpick resides within theory Nitpick (see also 7b8c366e34a2, 1fba360b5443);

paulson [Tue, 29 Sep 2020 09:36:14 +0100] rev 72326

merged

paulson [Mon, 28 Sep 2020 18:34:27 +0100] rev 72325

merged

paulson <lp15@cam.ac.uk> [Mon, 28 Sep 2020 18:34:15 +0100] rev 72324

de-applying

wenzelm [Mon, 28 Sep 2020 22:22:56 +0200] rev 72323

some support for document preparation in Isabelle/Scala;

wenzelm [Mon, 28 Sep 2020 21:14:47 +0200] rev 72322

unused (see 7b318273a4aa);

isabelle