wenzelm [Wed, 25 Jan 2023 14:51:13 +0100] rev 77092
more operations for SSH.System;
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);