# HG changeset patch
# User wenzelm
# Date 1705234475 -3600
# Node ID 50cd283a72187d0c5b2feceb47b54eb9c5d062f6
# Parent  a11cf449a36ee3b3fbe73557253544b7af74f68a
tuned;

diff -r a11cf449a36e -r 50cd283a7218 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Sun Jan 14 13:13:26 2024 +0100
+++ b/src/Doc/System/Phabricator.thy	Sun Jan 14 13:14:35 2024 +0100
@@ -296,7 +296,7 @@
   phabricator/bin/storage renamespace --from phabricator_vcs \
     --to phabricator_xyz --input dump1.sql --output dump2.sql\<close>}
 
-  Them run on the second installation root directory:
+  Then run on the second installation root directory:
   @{verbatim [display] \<open>  phabricator/bin/storage destroy
   phabricator/bin/storage shell < .../dump2.sql\<close>}