# HG changeset patch # User wenzelm # Date 1576772766 -3600 # Node ID d0e14780b2787269e9b230bd65a92f36aa35678f # Parent 7c27a379190f843ed799706b1cc95a1cde3f7256 more documentation; diff -r 7c27a379190f -r d0e14780b278 src/Doc/System/Misc.thy --- a/src/Doc/System/Misc.thy Thu Dec 19 16:55:33 2019 +0100 +++ b/src/Doc/System/Misc.thy Thu Dec 19 17:26:06 2019 +0100 @@ -180,6 +180,21 @@ provided a different name. \ +subsubsection \Examples\ + +text \ + Setup the current directory as a repository with Phabricator server hosting: + @{verbatim [display] \ isabelle hg_setup vcs@vcs.example.org .\} + + \<^medskip> + Setup the current directory as a repository with plain SSH server hosting: + @{verbatim [display] \ isabelle hg_setup ssh://files.example.org/data/repositories .\} + + \<^medskip> + Both variants require SSH access to the target server, via public key + without password. +\ + section \Installing standalone Isabelle executables \label{sec:tool-install}\