# HG changeset patch
# User wenzelm
# Date 1476726956 -7200
# Node ID 7ad033e28dbd924c6ee995e09dd9255e9be07339
# Parent  a65ff5a84296391d4e4816ab115a312e785eedc0
NEWS;
tuned comment;

diff -r a65ff5a84296 -r 7ad033e28dbd NEWS
--- a/NEWS	Mon Oct 17 19:03:13 2016 +0200
+++ b/NEWS	Mon Oct 17 19:55:56 2016 +0200
@@ -960,6 +960,18 @@
 
 *** System ***
 
+* Isabelle/Scala: the SSH module supports ssh and sftp connections, for
+remote command-execution and file-system access. This resembles
+operations from module File and Isabelle_System to some extent. Note
+that Path specifications need to be resolved remotely via
+ssh.remote_path instead of File.standard_path: the implicit process
+environment is different, Isabelle settings are not available remotely.
+
+* Isabelle/Scala: the Mercurial module supports repositories via the
+regular hg command-line interface. The repositroy clone and working
+directory may reside on a local or remote file-system (via ssh
+connection).
+
 * Many Isabelle tools that require a Java runtime system refer to the
 settings ISABELLE_TOOL_JAVA_OPTIONS32 / ISABELLE_TOOL_JAVA_OPTIONS64,
 depending on the underlying platform. The settings for "isabelle build"
diff -r a65ff5a84296 -r 7ad033e28dbd src/Pure/General/mercurial.scala
--- a/src/Pure/General/mercurial.scala	Mon Oct 17 19:03:13 2016 +0200
+++ b/src/Pure/General/mercurial.scala	Mon Oct 17 19:55:56 2016 +0200
@@ -1,7 +1,8 @@
 /*  Title:      Pure/General/mercurial.scala
     Author:     Makarius
 
-Support for Mercurial repositories.
+Support for Mercurial repositories, with local or remote repository clone
+and working directory (via ssh connection).
 */
 
 package isabelle