equal
deleted
inserted
replaced
158 \<^medskip> |
158 \<^medskip> |
159 Mailer configuration requires a few command-line invocations as follows: |
159 Mailer configuration requires a few command-line invocations as follows: |
160 |
160 |
161 @{verbatim [display] \<open> isabelle phabricator_setup_mail\<close>} |
161 @{verbatim [display] \<open> isabelle phabricator_setup_mail\<close>} |
162 |
162 |
163 \<^noindent> This generates a JSON template file for the the mail account details. |
163 \<^noindent> This generates a JSON template file for the mail account details. |
164 After editing that, the subsequent command will add and test it with |
164 After editing that, the subsequent command will add and test it with |
165 Phabricator: |
165 Phabricator: |
166 |
166 |
167 @{verbatim [display] \<open> isabelle phabricator_setup_mail -T makarius\<close>} |
167 @{verbatim [display] \<open> isabelle phabricator_setup_mail -T makarius\<close>} |
168 |
168 |