NEWS
changeset 64280 7ad033e28dbd
parent 64274 c8990e5feac9
child 64290 fb5c74a58796
child 64308 b00508facb4f
child 64322 72060e61ca9d
     1.1 --- a/NEWS	Mon Oct 17 19:03:13 2016 +0200
     1.2 +++ b/NEWS	Mon Oct 17 19:55:56 2016 +0200
     1.3 @@ -960,6 +960,18 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Isabelle/Scala: the SSH module supports ssh and sftp connections, for
     1.8 +remote command-execution and file-system access. This resembles
     1.9 +operations from module File and Isabelle_System to some extent. Note
    1.10 +that Path specifications need to be resolved remotely via
    1.11 +ssh.remote_path instead of File.standard_path: the implicit process
    1.12 +environment is different, Isabelle settings are not available remotely.
    1.13 +
    1.14 +* Isabelle/Scala: the Mercurial module supports repositories via the
    1.15 +regular hg command-line interface. The repositroy clone and working
    1.16 +directory may reside on a local or remote file-system (via ssh
    1.17 +connection).
    1.18 +
    1.19  * Many Isabelle tools that require a Java runtime system refer to the
    1.20  settings ISABELLE_TOOL_JAVA_OPTIONS32 / ISABELLE_TOOL_JAVA_OPTIONS64,
    1.21  depending on the underlying platform. The settings for "isabelle build"