isabelle: Changelog

wenzelm [Thu, 16 Mar 2023 13:18:25 +0100] rev 77674

clarified build options;

wenzelm [Thu, 16 Mar 2023 11:44:07 +0100] rev 77673

clarified ML option vs. Scala option (see also caa182bdab7a);

nipkow [Thu, 16 Mar 2023 13:37:49 +0100] rev 77672

merge conflict

nipkow [Thu, 16 Mar 2023 08:30:00 +0100] rev 77671

unified function update and map update syntaxes

blanchet [Wed, 15 Mar 2023 15:28:44 +0100] rev 77670

removed accidental junk

nipkow [Wed, 15 Mar 2023 13:01:57 +0100] rev 77669

map update syntax

wenzelm [Tue, 14 Mar 2023 22:00:06 +0100] rev 77668

proper sorting of result (amending f458547b4f0f);

wenzelm [Tue, 14 Mar 2023 21:01:20 +0100] rev 77667

merged

wenzelm [Tue, 14 Mar 2023 20:31:30 +0100] rev 77666

enforce rebuild of Isabelle/ML;

wenzelm [Tue, 14 Mar 2023 20:31:08 +0100] rev 77665

more operations;

isabelle