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 comment;
authorwenzelm
Mon, 10 Oct 2016 09:57:56 +0200
changeset 64124 818265654e60
parent 64123 a967b5a07f92
child 64125 a034dac5ca3c
tuned comment;
src/Pure/General/ssh.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle