Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/System/Phabricator.thy
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:
isabelle