# 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.
 \<close>
 
+subsubsection \<open>Examples\<close>
+
+text \<open>
+  Setup the current directory as a repository with Phabricator server hosting:
+  @{verbatim [display] \<open>  isabelle hg_setup vcs@vcs.example.org .\<close>}
+
+  \<^medskip>
+  Setup the current directory as a repository with plain SSH server hosting:
+  @{verbatim [display] \<open>  isabelle hg_setup ssh://files.example.org/data/repositories .\<close>}
+
+  \<^medskip>
+  Both variants require SSH access to the target server, via public key
+  without password.
+\<close>
+
 
 section \<open>Installing standalone Isabelle executables \label{sec:tool-install}\<close>