Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- tuned;
- clarified signature;
- minor performance tuning: avoid redundant server access;
- tuned;
- clarified modules and options (from store);
- clarified signature;
- tuned;
- clarified signature;
- tuned signature;
- tuned;
- tuned signature;
- tuned;
- tuned;
- more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
- tuned messages;
- tuned;
- back to static numa_nodes (reverting part of c2c59de57df9);
- tuned messages;