# HG changeset patch
# User wenzelm
# Date 1739117054 -3600
# Node ID d2d8d00543b7ec12165647742b29697986166ead
# Parent  56ced64166d22385fd0d5ec49a21f7b18d13d666
more documentation;

diff -r 56ced64166d2 -r d2d8d00543b7 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Sun Feb 09 16:56:55 2025 +0100
+++ b/src/Doc/System/Phabricator.thy	Sun Feb 09 17:04:14 2025 +0100
@@ -7,6 +7,10 @@
 chapter \<open>Phabricator / Phorge server setup \label{ch:phabricator}\<close>
 
 text \<open>
+  The Isabelle development site \<^url>\<open>https://isabelle-dev.sketis.net\<close> uses
+  Phorge to provide a comprehensive view on several repositories: Isabelle
+  proper, the Archive of Formal Proofs, and Poly/ML.
+
   Phorge\<^footnote>\<open>\<^url>\<open>https://phorge.it\<close>\<close> is an open-source product to support the
   development process of complex software projects (open or closed ones). It
   is a community fork to replace the former