isabelle: Changelog

wenzelm [Wed, 25 Jan 2023 13:38:26 +0100] rev 77091

recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning;

wenzelm [Wed, 25 Jan 2023 13:16:43 +0100] rev 77090

clarified parameters (again);

paulson <lp15@cam.ac.uk> [Wed, 25 Jan 2023 13:37:44 +0000] rev 77089

Some new material from the AFP

wenzelm [Tue, 24 Jan 2023 23:05:32 +0100] rev 77088

clarified defaults: imitate "isabelle components -I" without further parameters;

wenzelm [Tue, 24 Jan 2023 22:48:28 +0100] rev 77087

tuned;

wenzelm [Tue, 24 Jan 2023 22:37:41 +0100] rev 77086

merged

wenzelm [Tue, 24 Jan 2023 21:27:10 +0100] rev 77085

more robust locations (amending 7e11e96a922d) --- notably for cleanup() in build_release, after Admin/ been deleted;

wenzelm [Tue, 24 Jan 2023 20:48:28 +0100] rev 77084

tuned;

wenzelm [Tue, 24 Jan 2023 20:43:55 +0100] rev 77083

clarified defaults (see also b310b93563f6);

wenzelm [Tue, 24 Jan 2023 20:39:11 +0100] rev 77082

tuned comments;

isabelle