# HG changeset patch
# User wenzelm
# Date 1705234406 -3600
# Node ID a11cf449a36ee3b3fbe73557253544b7af74f68a
# Parent  299568e54fac468e24fe5c1b192ffbe6ceaefd97
update links;

diff -r 299568e54fac -r a11cf449a36e src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Sat Jan 13 21:51:51 2024 +0100
+++ b/src/Doc/System/Phabricator.thy	Sun Jan 14 13:13:26 2024 +0100
@@ -36,12 +36,10 @@
   The following Phabricator instances may serve as examples:
 
     \<^item> Wikimedia development \<^url>\<open>https://phabricator.wikimedia.org\<close>
-    \<^item> Blender development \<^url>\<open>https://developer.blender.org\<close>
-    \<^item> LLVM development \<^url>\<open>https://reviews.llvm.org\<close>
     \<^item> Mozilla development \<^url>\<open>https://phabricator.services.mozilla.com\<close>
     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
-    \<^item> Phabricator development (inactive) \<^url>\<open>https://secure.phabricator.com\<close>
-    \<^item> Phorge development (planned successor of Phabricator)
+    \<^item> Phabricator development (mostly inactive after Jun-2021) \<^url>\<open>https://secure.phabricator.com\<close>
+    \<^item> Phorge development (community fork and successor of Phabricator)
       \<^url>\<open>https://we.phorge.it\<close>
 
   \<^medskip>