ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration); tuned signature;

putting together related theorems

dropped auxiliary lemma

unused;

clarified operation: avoid perl;

discontinued unused operations;

clarified signature: avoid exposure of JSch types;

clarified signature: discontinue somewhat pointless SSH.Context;

tuned;

proper path;

Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1

clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);

more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);

merged;

update for release;

more command-line options;

less specialized euclidean relation on int

update to Isabelle2022 and Ubuntu 22.04;

proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;

more operations: for testing purposes;

provide naproche-20220910 (inactive);

clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;

unused;

update for release;

tuned: prefer Scala Regex operations;

tuning and updates for release;

NEWS;

discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);

give up show_main_goal (despite 922e3f9251ac): show_goal_inst is sufficient, even for final results;

merged

discontinue fragile operations;

proper context option: change of underlying Options.default will not survive PIDE "Prover.options" (e.g. change of Isabelle/jEdit plugin options);