isabelle: Changelog

wenzelm [Thu, 16 Mar 2023 15:46:10 +0100] rev 77677

tuned signature;

wenzelm [Thu, 16 Mar 2023 15:38:32 +0100] rev 77676

more thorough database checks;

wenzelm [Thu, 16 Mar 2023 15:16:17 +0100] rev 77675

more thorough treatment of build prefs, guarded by system option "build_through": avoid accidental rebuild of HOL etc.;

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);

isabelle