Summary
- minor performance tuning;
- merged
- minor performance tuning: save approx. 70ms per SSH command;
- minor performance tuning: save approx. 70ms per SSH command;
- minor performance tuning: save approx. 70ms per SSH test command;
- suport Isabelle_System.bash via SSH.System;
- more operations;
- tuned;
- clarified signature;
- clarified signature;
- obsolete: macOS 10.x is no longer supported (see also 059743bc8311);
- tuned tmp name;
- tuned;
- tuned;
- tuned comments;