isabelle: Changelog

wenzelm [Tue, 26 Jul 2022 20:35:42 +0200] rev 75700

update documentation, following 21c1f82e7f5d;

wenzelm [Tue, 26 Jul 2022 19:06:03 +0200] rev 75699

proper classpath for Scala compiler invocation (amending 14e22b525b13);

wenzelm [Tue, 26 Jul 2022 16:39:11 +0200] rev 75698

merged

wenzelm [Tue, 26 Jul 2022 16:38:49 +0200] rev 75697

support for dynamic classpath from exports;

wenzelm [Mon, 25 Jul 2022 14:40:45 +0200] rev 75696

clarified signature;

wenzelm [Mon, 25 Jul 2022 11:19:08 +0200] rev 75695

tuned signature;

haftmann [Mon, 25 Jul 2022 06:31:32 +0000] rev 75694

Avoid shadowing original List._ namespace.

nipkow [Mon, 25 Jul 2022 12:19:59 +0200] rev 75693

replaced complicated lemma by a simpler one

wenzelm [Sat, 23 Jul 2022 12:19:45 +0200] rev 75692

clarified signature;

wenzelm [Sat, 23 Jul 2022 11:26:28 +0200] rev 75691

clarified modules;

isabelle