# HG changeset patch
# User wenzelm
# Date 1476086276 -7200
# Node ID 818265654e6001b3e7afcb7ca26939c18b460f9a
# Parent  a967b5a07f9204c09b3ab1c82987b4044cdabd65
tuned comment;

diff -r a967b5a07f92 -r 818265654e60 src/Pure/General/ssh.scala
--- a/src/Pure/General/ssh.scala	Sun Oct 09 23:08:40 2016 +0200
+++ b/src/Pure/General/ssh.scala	Mon Oct 10 09:57:56 2016 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/ssh.scala
     Author:     Makarius
 
-Support for Secure Shell.
+SSH client based on JSch (see also http://www.jcraft.com/jsch/examples).
 */
 
 package isabelle