wenzelm [Wed, 25 Jan 2023 20:52:36 +0100] rev 77098
tuned message, following "isabelle components -a";
wenzelm [Wed, 25 Jan 2023 20:42:24 +0100] rev 77097
clean components more accurately: purge other platforms or archives;
wenzelm [Wed, 25 Jan 2023 20:38:38 +0100] rev 77096
more operations for SSH.System;
wenzelm [Wed, 25 Jan 2023 15:26:23 +0100] rev 77095
clarified signature;
wenzelm [Wed, 25 Jan 2023 15:18:06 +0100] rev 77094
tuned;
wenzelm [Wed, 25 Jan 2023 14:58:34 +0100] rev 77093
manage other Isabelle distributions via SSH;
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;