src/Pure/Tools/phabricator.scala
Tue, 29 Aug 2023 16:52:59 +0200 wenzelm clarified signature: prefer enum types;
Tue, 07 Mar 2023 23:02:52 +0100 wenzelm renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build");
Fri, 24 Feb 2023 20:52:35 +0100 wenzelm tuned;
less more (0) -100 -30 -10 -3 tip