provide .hg_sync meta data;

clarified signature;

clarified options;

clarified signature (again);

more robust;

clarified signature;

more operations;

support explicit SSH port;

redundant (after f28aee3ad1e6): self_update already takes care of currently…

clarified options;

clarified option -T;

preserve jars for quick testing;

clarified documentation: $ISABELLE_HOME is not a repository for regular…

tuned names;

clarified command-line options;

proper anchored pattern;

support thorough check of file content;

more documentation;

clarified signature;

tuned messages;

tuned whitespace;

merged

support to synchronize Isabelle + AFP repositories;

support option -r;

more robust: local repository required;

tuned;

omit pointless option;

more documentation;

support for "isabelle hg_sync";

support filter rules, notably "protect";

clarified signature;

tuned comments;

clarified signature;

tuned signature;

tuned signature;

support rsync;

tuned signature;

provide Isabelle/Electron test;

tuned text;

tuned text;

tuned signature: avoid problems with scala3;

proper indentation;

clarified management of interpreter threads: more generic;

merged

clarified signature;

tuned signature;

clarified signature;

clarified signature, based on hints by IntelliJ IDEA;

more robust: avoid partiality;

tuned;

clarified signature;

clarified signature;

tuned --- avoid warnings in scala3;

clarified signature;

merged

revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;

merged

tuned --- avoid warnings in scala3;

tuned --- avoid redundant patterns;

avoid pattern-match warnings, notably in scala3;

proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;

proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;

tuned --- accomodate scala3;

back to more ambitious scala-3.1.1 (see 8b7497992301);

tuned --- fewer warnings in scala3;

tuned signature -- avoid warnings for scala3;

tuned -- avoid warnings for scala3;

removed unused flag (see 25c6423ec538);

clarified versions;

avoid static access to sun.tools.jconsole: more robust compilation (notably…

clarified signature;

more operations;

tuned: avoid ambiguity in scala3;

clarified signature: avoid ambiguity in scala3;

clarified signature: avoid ambiguity in scala3;

tuned for scala3;

more robust types (for scala3);

proper indentation (relevant for scala3);

clarified formatting, for the sake of scala3;

clarified formatting, for the sake of scala3;

merged

clarified formatting, for the sake of scala3;

tuned formatting;

merged

tuned spelling;

updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;

clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars…

tuned: eliminted do-while for the sake of scala3;

prefer scala 3.0.x, for option "-source 3.0-migration";

tuned: avoid problems with scala3;

tuned: avoid problems with scala3;

build Isabelle Scala component from official downloads (for scala-3.1.1);

provide SCALA_INTERFACES for isabelle_setup;

proper option argument;

tuned signature;

prefer Isabelle shasum over the old command-line tool with its extra marker…

tuned signature;

tuned text, without update of component for now;

omit somewhat pointless integrity check;