isabelle: Changelog

wenzelm [Sat, 28 Jan 2023 20:13:40 +0100] rev 77126

unused (see 378bb7a739c3);

wenzelm [Sat, 28 Jan 2023 19:47:15 +0100] rev 77125

more options to manage resolved components;

wenzelm [Sat, 28 Jan 2023 16:51:41 +0100] rev 77124

proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);

wenzelm [Sat, 28 Jan 2023 16:26:58 +0100] rev 77123

tuned comments;

wenzelm [Sat, 28 Jan 2023 16:20:44 +0100] rev 77122

tuned;

wenzelm [Sat, 28 Jan 2023 16:08:43 +0100] rev 77121

clarified signature: more explicit types; scale chart output, instead of stored data;

wenzelm [Sat, 28 Jan 2023 16:06:38 +0100] rev 77120

more operations;

wenzelm [Sat, 28 Jan 2023 15:38:36 +0100] rev 77119

tuned;

wenzelm [Sat, 28 Jan 2023 15:35:43 +0100] rev 77118

clarified signature: more robust field_scale;

wenzelm [Sat, 28 Jan 2023 15:04:15 +0100] rev 77117

clarified signature: more explicit types;

isabelle