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");
Fri, 24 Feb 2023 20:52:35 +0100 wenzelm tuned;
Fri, 24 Feb 2023 20:40:50 +0100 wenzelm tuned;
Wed, 30 Nov 2022 15:03:31 +0100 wenzelm clarified signature: prefer Scala functions instead of shell scripts;
Fri, 25 Nov 2022 13:38:15 +0100 wenzelm clarified signature;
Fri, 16 Sep 2022 15:07:33 +0200 wenzelm clarified default, following 8b695e59db3f;
Fri, 16 Sep 2022 15:05:50 +0200 wenzelm tuned signature;
Fri, 16 Sep 2022 15:03:08 +0200 wenzelm tuned;
Fri, 16 Sep 2022 14:57:48 +0200 wenzelm clarified modules;
Fri, 16 Sep 2022 14:26:42 +0200 wenzelm discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
Tue, 13 Sep 2022 09:38:02 +0200 wenzelm clarified signature: separate unrelated modules;
Sat, 10 Sep 2022 15:41:44 +0200 wenzelm proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;
Fri, 08 Jul 2022 20:24:05 +0200 wenzelm more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
Fri, 01 Apr 2022 23:19:12 +0200 wenzelm tuned formatting;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
less more (0) -100 -15 tip