Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Wed, 29 May 2024 15:51:15 +0200
changeset 80209 f2fa6753c3e2
parent 80200 5f053991315c
child 80210 f0ead4febf7f
tuned comments;
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/ssh.scala	Sat May 25 20:26:06 2024 +0200
+++ b/src/Pure/General/ssh.scala	Wed May 29 15:51:15 2024 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/ssh.scala
     Author:     Makarius
 
-SSH client on OpenSSH command-line tools, preferably with connection
+SSH client on top of OpenSSH command-line tools, preferably with connection
 multiplexing, but this does not work on Windows.
 */
isabelle