isabelle: Changelog

wenzelm [Tue, 27 Sep 2022 13:34:54 +0200] rev 76212

clarified options;

wenzelm [Mon, 26 Sep 2022 20:40:37 +0200] rev 76211

merged

wenzelm [Mon, 26 Sep 2022 20:40:19 +0200] rev 76210

provide missing LaTeX macro, e.g. for AFP/PAC_Checker;

wenzelm [Mon, 26 Sep 2022 11:30:44 +0200] rev 76209

clarified signature;

haftmann [Mon, 26 Sep 2022 08:41:53 +0000] rev 76208

streamlined division on polynomials

haftmann [Sun, 25 Sep 2022 19:10:43 +0000] rev 76207

streamlined division on polynomials

wenzelm [Thu, 22 Sep 2022 20:20:37 +0200] rev 76206

clarified signature: re-use store/cache from build results;

wenzelm [Thu, 22 Sep 2022 20:04:57 +0200] rev 76205

tuned signature;

wenzelm [Thu, 22 Sep 2022 17:24:50 +0200] rev 76204

clarified signature: persistent Node.source / Snapshot.source;

wenzelm [Thu, 22 Sep 2022 16:29:26 +0200] rev 76203

more examples;

isabelle