Sun, 18 Dec 2016 15:41:23 +0100 expose stderr, e.g. Multithreading.tracing;
wenzelm [Sun, 18 Dec 2016 15:41:23 +0100] rev 64598
expose stderr, e.g. Multithreading.tracing;
Sun, 18 Dec 2016 13:46:57 +0100 test parallel proof terms in this small session (somewhat slow for bigger applications);
wenzelm [Sun, 18 Dec 2016 13:46:57 +0100] rev 64597
test parallel proof terms in this small session (somewhat slow for bigger applications);
Sun, 18 Dec 2016 13:07:13 +0100 tuned messages -- more symbols;
wenzelm [Sun, 18 Dec 2016 13:07:13 +0100] rev 64596
tuned messages -- more symbols;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip