src/Pure/Tools/phabricator.scala
Tue, 07 Mar 2023 23:02:52 +0100 wenzelm renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build");
less more (0) -100 -30 -10 -1 tip