isabelle: Changelog

wenzelm [Wed, 09 Jun 2021 10:37:53 +0200] rev 73840

more systematic treatment of profiling mode;

wenzelm [Tue, 08 Jun 2021 23:36:30 +0200] rev 73839

tuned message;

wenzelm [Tue, 08 Jun 2021 23:34:06 +0200] rev 73838

prefer less intrusive tracing message;

wenzelm [Tue, 08 Jun 2021 23:23:59 +0200] rev 73837

clarified documentation: tracing messages are not shown here;

wenzelm [Tue, 08 Jun 2021 16:32:57 +0200] rev 73836

add missing file;

wenzelm [Tue, 08 Jun 2021 13:17:45 +0200] rev 73835

more formal ML profiling messages;

wenzelm [Mon, 07 Jun 2021 16:40:26 +0200] rev 73834

clarified modules;

nipkow [Tue, 08 Jun 2021 17:01:32 +0200] rev 73833

Lukas Steven's more general fold foctions for maps

nipkow [Tue, 01 Jun 2021 19:46:34 +0200] rev 73832

More general fold function for maps

wenzelm [Mon, 07 Jun 2021 15:13:34 +0200] rev 73831

follow Phabricator update 2021 Week 23;

isabelle