# HG changeset patch
# User wenzelm
# Date 1663185038 -7200
# Node ID 6149f7553ea9882f9f786d3db48d3248e49438e1
# Parent  dfddb80fc5154b221ff80058ab24e29041d18467
more items;

diff -r dfddb80fc515 -r 6149f7553ea9 ANNOUNCE
--- a/ANNOUNCE	Wed Sep 14 21:14:32 2022 +0200
+++ b/ANNOUNCE	Wed Sep 14 21:50:38 2022 +0200
@@ -28,6 +28,8 @@
 
 * System: improved "isabelle log" tool with regex filtering.
 
+* System: more robust SSH support in Isabelle/Scala.
+
 
 You may get Isabelle2022 from the following mirror sites:
 
diff -r dfddb80fc515 -r 6149f7553ea9 NEWS
--- a/NEWS	Wed Sep 14 21:14:32 2022 +0200
+++ b/NEWS	Wed Sep 14 21:50:38 2022 +0200
@@ -336,6 +336,23 @@
 The Isabelle/Isar command 'scala_build_generated_files' helps to produce
 a suitable .jar module for inclusion via 'export_classpath'.
 
+* Isabelle/Scala SSH connections now use regular OpenSSH executables
+from the local system: ssh, scp, sftp; the old ssh-java component has
+been discontinued. This has various practical consequences:
+
+  - Authentication and configuration works accurately via the official
+    .ssh/known_hosts and .ssh/config files.
+
+  - Host connections are usually shared (via multiplexed channels), to
+    reduce the overhead for multiple commands. This also works for SSH
+    connections for rsync (e.g. "isabelle sync"). Windows/Cygwin does
+    not support multiplexing: the functionality should be the same, but
+    slower, with a new connection for each command.
+
+  - Multiple hops via "bastion hosts" can be easily configured in
+    .ssh/config via ProxyJump declarations. The former Isabelle/Scala
+    parameters for proxy_host etc. have been discontinued: minor
+    INCOMPATIBILITY.
 
 
 New in Isabelle2021-1 (December 2021)