src/Doc/System/Phabricator.thy
changeset 71133 962eda254ac4
parent 71132 e5984c853f77
child 71267 d5751eb5cc57
equal deleted inserted replaced
71132:e5984c853f77 71133:962eda254ac4
    35   \<^medskip>
    35   \<^medskip>
    36   The following Phabricator instances may serve as examples:
    36   The following Phabricator instances may serve as examples:
    37 
    37 
    38     \<^item> Phabricator development \<^url>\<open>https://secure.phabricator.com\<close>
    38     \<^item> Phabricator development \<^url>\<open>https://secure.phabricator.com\<close>
    39     \<^item> Wikimedia development \<^url>\<open>https://phabricator.wikimedia.org\<close>
    39     \<^item> Wikimedia development \<^url>\<open>https://phabricator.wikimedia.org\<close>
       
    40     \<^item> Blender development \<^url>\<open>https://developer.blender.org/\<close>
    40     \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
    41     \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
    41     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
    42     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
    42 
    43 
    43   \<^medskip> Initial Phabricator configuration requires many details to be done
    44   \<^medskip> Initial Phabricator configuration requires many details to be done
    44   right.\<^footnote>\<open>See also
    45   right.\<^footnote>\<open>See also