Tue, 30 Jul 2019 14:35:29 +0200 clarified modules: provide reconstruct_proof / expand_proof at the bottom of proof term construction;
wenzelm [Tue, 30 Jul 2019 14:35:29 +0200] rev 70447
clarified modules: provide reconstruct_proof / expand_proof at the bottom of proof term construction;
Tue, 30 Jul 2019 13:22:29 +0200 tuned -- fewer warnings;
wenzelm [Tue, 30 Jul 2019 13:22:29 +0200] rev 70446
tuned -- fewer warnings;
Tue, 30 Jul 2019 13:19:14 +0200 discontinued pointless messages;
wenzelm [Tue, 30 Jul 2019 13:19:14 +0200] rev 70445
discontinued pointless messages;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip