Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more portable;
- build both arm64-darwin and x86_64-darwin on Apple ARM hardware; tuned messages;
- unused;
- tuned message;
- more items;
- more robust: do not assume Bash syntax while testing for it;
- obsolete;
- merged
- proper treatment of complex multi-line script;
- more robust;
- more robust: Bash.string operations require remote bash;
- support port forwarding without multiplexing (for the sake of Windows);
- misc tuning and clarification; proper shutdown_hook;
- clarified signature;
- clarified signature;
- clarified signature;
- More on division concerning gauss numbers.