src/Pure/Tools/phabricator.scala
Sun, 10 Jan 2021 13:04:29 +0100 wenzelm more informative errors: simplify diagnosis of spurious failures reported by users;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Sat, 31 Oct 2020 11:50:09 +0100 wenzelm proper packages for mercurial_setup;
Fri, 30 Oct 2020 23:43:08 +0100 wenzelm more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
Fri, 30 Oct 2020 22:56:15 +0100 wenzelm Isabelle/Phabricator supports Ubuntu 20.04 LTS;
Fri, 30 Oct 2020 21:10:18 +0100 wenzelm tuned --- make IntelliJ IDEA happy;
Sun, 18 Oct 2020 13:10:09 +0200 wenzelm clarified basic Linux packages;
Sun, 11 Oct 2020 14:01:32 +0200 wenzelm clarified signature;
less more (0) -100 -30 -10 -8 tip