more operations;

tuned;

clarified signature: more robust field_scale;

clarified signature: more explicit types;

clarified signature;

tuned;

support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;

more explicit types;

prefer typed/strict operations;

tuned message;

prefer strict operation: java.io.File.length returns 0 for non-existent file;

prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;

back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); enforce rebuild of Isabelle/ML + Isabelle/Scala;

Restored antiquotation.

tuned whitespace

merged

added lemma multpHO_plus_plus[simp]

Shortened a messy proof

Moved in some material from the AFP entry Winding_number_eval

merged

tuned messages: less verbosity;

prefer Other_Isabelle.init instead of adhoc scripts;

tuned message, following "isabelle components -a";

clean components more accurately: purge other platforms or archives;

more operations for SSH.System;

clarified signature;

tuned;

manage other Isabelle distributions via SSH;

more operations for SSH.System;

recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning;