Thu, 07 Nov 2019 15:16:53 +0100 clarified contexts;
wenzelm [Thu, 07 Nov 2019 15:16:53 +0100] rev 71278
clarified contexts; prefer named facts;
Thu, 07 Nov 2019 11:55:41 +0100 tuned messages;
wenzelm [Thu, 07 Nov 2019 11:55:41 +0100] rev 71277
tuned messages;
Thu, 07 Nov 2019 11:40:17 +0100 clarified command-line;
wenzelm [Thu, 07 Nov 2019 11:40:17 +0100] rev 71276
clarified command-line;
Thu, 07 Nov 2019 11:29:03 +0100 tuned messages;
wenzelm [Thu, 07 Nov 2019 11:29:03 +0100] rev 71275
tuned messages;
Thu, 07 Nov 2019 11:20:49 +0100 tuned messages;
wenzelm [Thu, 07 Nov 2019 11:20:49 +0100] rev 71274
tuned messages;
Thu, 07 Nov 2019 11:10:06 +0100 more messages -- expose potential database problems;
wenzelm [Thu, 07 Nov 2019 11:10:06 +0100] rev 71273
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 71272
clarified errors: include stdout;
Thu, 07 Nov 2019 10:55:57 +0100 clarified directory;
wenzelm [Thu, 07 Nov 2019 10:55:57 +0100] rev 71271
clarified directory;
Thu, 07 Nov 2019 10:54:17 +0100 tuned;
wenzelm [Thu, 07 Nov 2019 10:54:17 +0100] rev 71270
tuned;
Thu, 07 Nov 2019 10:50:05 +0100 tuned message;
wenzelm [Thu, 07 Nov 2019 10:50:05 +0100] rev 71269
tuned message;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip