isabelle: Changelog

wenzelm [Sat, 28 Jan 2023 21:32:33 +0100] rev 77131

tuned signature;

wenzelm [Sat, 28 Jan 2023 21:29:28 +0100] rev 77130

more operations;

wenzelm [Sat, 28 Jan 2023 20:58:00 +0100] rev 77129

obsolete (see also d547173212d2);

wenzelm [Sat, 28 Jan 2023 20:50:45 +0100] rev 77128

clarified names to emphasize suble differences in meaning;

wenzelm [Sat, 28 Jan 2023 20:21:55 +0100] rev 77127

prefer high-level Other_Isabelle.bash over low-level SSH.execute;

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;

isabelle