Summary
- clarified defaults: imitate "isabelle components -I" without further parameters;
- tuned;
- merged
- more robust locations (amending 7e11e96a922d) --- notably for cleanup() in build_release, after Admin/ been deleted;
- tuned;
- clarified defaults (see also b310b93563f6);
- tuned comments;
- discontinued adhoc change of environment (from 897f1ac84aab), following ssh c2e8ba15a10a;
- more formal Other_Isabelle.settings, with derived expand_path / bash_path;
- clarified signature: minimal interface for getenv/expand_env, instead of bulky java.util.Map;
- tuned;
- discontinued adhoc change of environment (from c62b99e3ec07), which has been mostly superseded by expand_path / remote_path (from ef6f7e8a018c);
- more operations;
- removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);
- tuned;
- more robust: self-contained Other_Isabelle.isabelle_home;
- more robust and uniform Other_Isabelle.scala_build;
- tuned;
- tuned message;
- more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts;
- more strict;
- tuned signature;
- proper ssh.bash_path;
- merged
- added lemma irreflp_on_multpHO[simp]
- added lemmas totalp_on_multpDM, totalp_multpDM, totalp_on_multpHO, and totalp_multpHO
- Beautifying an old entry
- generalized theory name: euclidean division denotes one particular division definition on integers