Thu, 07 Nov 2019 11:10:06 +0100 more messages -- expose potential database problems;
wenzelm [Thu, 07 Nov 2019 11:10:06 +0100] rev 71075
more messages -- expose potential database problems;
Thu, 07 Nov 2019 11:00:11 +0100 clarified errors: include stdout;
wenzelm [Thu, 07 Nov 2019 11:00:11 +0100] rev 71074
clarified errors: include stdout;
Thu, 07 Nov 2019 10:55:57 +0100 clarified directory;
wenzelm [Thu, 07 Nov 2019 10:55:57 +0100] rev 71073
clarified directory;
Thu, 07 Nov 2019 10:54:17 +0100 tuned;
wenzelm [Thu, 07 Nov 2019 10:54:17 +0100] rev 71072
tuned;
Thu, 07 Nov 2019 10:50:05 +0100 tuned message;
wenzelm [Thu, 07 Nov 2019 10:50:05 +0100] rev 71071
tuned message;
Thu, 07 Nov 2019 10:47:33 +0100 clarified permissions;
wenzelm [Thu, 07 Nov 2019 10:47:33 +0100] rev 71070
clarified permissions;
Wed, 06 Nov 2019 23:25:11 +0100 merged
wenzelm [Wed, 06 Nov 2019 23:25:11 +0100] rev 71069
merged
Wed, 06 Nov 2019 23:24:16 +0100 discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
wenzelm [Wed, 06 Nov 2019 23:24:16 +0100] rev 71068
discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
Wed, 06 Nov 2019 23:16:30 +0100 unused;
wenzelm [Wed, 06 Nov 2019 23:16:30 +0100] rev 71067
unused;
Wed, 06 Nov 2019 22:51:54 +0100 support for Phabricator mail configuration;
wenzelm [Wed, 06 Nov 2019 22:51:54 +0100] rev 71066
support for Phabricator mail configuration; discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip