Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Isabelle/Scala SSH connections use O...

view this post on Zulip Email Gateway (Sep 15 2022 at 09:59):

From: Makarius <>
* System *

This refers to Isabelle/361cfb8e3648.

The change is motivated by a recent update of the OpenSSH server in Cygwin,
which locked out the ssh-java/jsch client for unknown reasons. Since jsch is
somewhat old and hardly maintained, I sat down to study the man pages for ssh
and ssh_config carefully. The result is formalized src/Pure/General/ssh.scala

Now we can have Windows heaps for the release ...


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC