--- 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"
--- 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