src/Doc/System/Phabricator.thy
changeset 71556 3c4c171344f4
parent 71538 2217c731d228
child 71571 597059a44d6f
equal deleted inserted replaced
71555:7a0a6c56015e 71556:3c4c171344f4
    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> Blender development \<^url>\<open>https://developer.blender.org\<close>
       
    41     \<^item> LLVM development \<^url>\<open>https://reviews.llvm.org\<close>
       
    42     \<^item> Mozilla development \<^url>\<open>https://phabricator.services.mozilla.com\<close>
    41     \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
    43     \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
    42     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
    44     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
    43 
    45 
    44   \<^medskip>
    46   \<^medskip>
    45   Initial Phabricator configuration requires many details to be done right.
    47   Initial Phabricator configuration requires many details to be done right.