changeset 75161 | 95612f330c93 |
parent 73534 | e7fb17bca374 |
child 76010 | da54ac51266a |
--- a/src/Doc/System/Phabricator.thy Sun Feb 27 18:58:50 2022 +0100 +++ b/src/Doc/System/Phabricator.thy Sun Feb 27 20:00:23 2022 +0100 @@ -160,7 +160,7 @@ @{verbatim [display] \<open> isabelle phabricator_setup_mail\<close>} - \<^noindent> This generates a JSON template file for the the mail account details. + \<^noindent> This generates a JSON template file for the mail account details. After editing that, the subsequent command will add and test it with Phabricator: