src/Pure/Tools/phabricator.scala
Sat, 04 Jan 2025 15:09:47 +0100 wenzelm update NEWS / documentation / descriptions for Phorge (formerly Phabricator);
Fri, 28 Jun 2024 23:53:25 +0200 wenzelm tuned output;
Sat, 01 Jun 2024 12:31:06 +0200 wenzelm clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
Tue, 23 Jan 2024 23:15:51 +0100 wenzelm clarified Mercurial version: presumably the last version that supports both python2 and python3;
less more (0) -100 -30 -10 -4 tip