paulson <lp15@cam.ac.uk> [Mon, 03 Jun 2024 20:56:21 +0100] rev 80241
Simplification of sin, cos, exp of multiples of pi
wenzelm [Mon, 03 Jun 2024 20:28:25 +0200] rev 80240
minor performance tuning: more compact data;
wenzelm [Mon, 03 Jun 2024 19:43:21 +0200] rev 80239
removed unused/inefficient size_of_proof (see also 2241191a3c54);
wenzelm [Sun, 02 Jun 2024 14:11:09 +0200] rev 80238
tuned;
wenzelm [Sun, 02 Jun 2024 13:36:24 +0200] rev 80237
more robust: avoid crash of sleep() for negative time;
wenzelm [Sat, 01 Jun 2024 21:52:31 +0200] rev 80236
clarified signature;
wenzelm [Sat, 01 Jun 2024 21:49:50 +0200] rev 80235
clarified signature: more explicit types;
wenzelm [Sat, 01 Jun 2024 16:26:35 +0200] rev 80234
support "rsync --chmod --chown" via Rsync.Context;
wenzelm [Sat, 01 Jun 2024 16:19:14 +0200] rev 80233
tuned;
wenzelm [Sat, 01 Jun 2024 15:22:37 +0200] rev 80232
bash: proper bash_process via SSH;
getenv: prefer light-weight ssh.execute;
wenzelm [Sat, 01 Jun 2024 15:13:03 +0200] rev 80231
clarified signature: support explicit cwd;
wenzelm [Sat, 01 Jun 2024 15:11:46 +0200] rev 80230
support bash via SSH;
wenzelm [Sat, 01 Jun 2024 15:03:13 +0200] rev 80229
clarified comments;
wenzelm [Sat, 01 Jun 2024 14:56:24 +0200] rev 80228
proper support for remote cwd;
wenzelm [Sat, 01 Jun 2024 14:33:38 +0200] rev 80227
clarified context for (remote) bash scripts: export variables are optional, support cwd;
wenzelm [Sat, 01 Jun 2024 14:08:04 +0200] rev 80226
more operations for SSH.System: bash_process and bash;
wenzelm [Sat, 01 Jun 2024 12:35:38 +0200] rev 80225
unused;
wenzelm [Sat, 01 Jun 2024 12:31:06 +0200] rev 80224
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
wenzelm [Fri, 31 May 2024 22:35:44 +0200] rev 80223
minor performance tuning;
wenzelm [Fri, 31 May 2024 22:19:31 +0200] rev 80222
merged
wenzelm [Fri, 31 May 2024 22:10:11 +0200] rev 80221
minor performance tuning: save approx. 70ms per SSH command;
wenzelm [Fri, 31 May 2024 21:39:01 +0200] rev 80220
minor performance tuning: save approx. 70ms per SSH command;
wenzelm [Fri, 31 May 2024 21:17:01 +0200] rev 80219
minor performance tuning: save approx. 70ms per SSH test command;
wenzelm [Fri, 31 May 2024 20:46:51 +0200] rev 80218
suport Isabelle_System.bash via SSH.System;
wenzelm [Fri, 31 May 2024 15:56:41 +0200] rev 80217
more operations;
wenzelm [Fri, 31 May 2024 15:38:28 +0200] rev 80216
tuned;
wenzelm [Fri, 31 May 2024 15:26:17 +0200] rev 80215
clarified signature;
wenzelm [Fri, 31 May 2024 14:17:28 +0200] rev 80214
clarified signature;
wenzelm [Wed, 29 May 2024 16:16:29 +0200] rev 80213
obsolete: macOS 10.x is no longer supported (see also 059743bc8311);
wenzelm [Wed, 29 May 2024 16:08:17 +0200] rev 80212
tuned tmp name;