# HG changeset patch
# User wenzelm
# Date 1576507719 -3600
# Node ID 058edb8f232ca762642b18e3d317cf0be6678906
# Parent  8cd05f7b3b4a3b07ec1d82259157246b89621c82
more documentation;

diff -r 8cd05f7b3b4a -r 058edb8f232c src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Mon Dec 16 15:19:07 2019 +0100
+++ b/src/Doc/System/Phabricator.thy	Mon Dec 16 15:48:39 2019 +0100
@@ -290,6 +290,26 @@
 \<close>
 
 
+section \<open>Upgrading Phabricator installations\<close>
+
+text \<open>
+  The Phabricator developers publish a new version approx.\ every 1--4 weeks:
+  see also \<^url>\<open>https://secure.phabricator.com/w/changelog\<close>. There is no need to
+  follow such frequent updates on the spot, but it is a good idea to upgrade
+  occasionally, see also
+  \<^url>\<open>https://secure.phabricator.com/book/phabricator/article/upgrading\<close> for
+  general explanations.
+
+  The Isabelle/Phabricator setup provides a convenience tool to upgrade all
+  installations uniformly:
+  @{verbatim [display] \<open>  /usr/local/bin/isabelle-phabricator-upgrade\<close>}
+
+  This refers to the \<^verbatim>\<open>stable\<close> branch of the distribution repositories by
+  default. Alternatively, it also possible to use the \<^verbatim>\<open>master\<close> like this:
+  @{verbatim [display] \<open>  /usr/local/bin/isabelle-phabricator-upgrade master\<close>}
+\<close>
+
+
 section \<open>Reference of command-line tools\<close>
 
 text \<open>