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 <makarius@sketis.net>
* 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 ...

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 12:30 UTC