Tue, 31 Mar 2020 14:09:36 +0200 more robust message_context and shutdown, e.g. after errors in protocol loop (see also 3f02bc5a5a03);
wenzelm [Tue, 31 Mar 2020 14:09:36 +0200] rev 71637
more robust message_context and shutdown, e.g. after errors in protocol loop (see also 3f02bc5a5a03);
Wed, 01 Apr 2020 21:48:39 +0200 simplified code and proofs
nipkow [Wed, 01 Apr 2020 21:48:39 +0200] rev 71636
simplified code and proofs
Wed, 01 Apr 2020 18:05:02 +0200 automated proof
nipkow [Wed, 01 Apr 2020 18:05:02 +0200] rev 71635
automated proof
Tue, 31 Mar 2020 17:26:54 +0200 merged
nipkow [Tue, 31 Mar 2020 17:26:54 +0200] rev 71634
merged
Tue, 31 Mar 2020 15:51:15 +0200 cleaned proofs
nipkow [Tue, 31 Mar 2020 15:51:15 +0200] rev 71633
cleaned proofs
Mon, 30 Mar 2020 19:50:01 +0200 clarified signature;
wenzelm [Mon, 30 Mar 2020 19:50:01 +0200] rev 71632
clarified signature;
Mon, 30 Mar 2020 19:39:11 +0200 more accurate treatment of errors;
wenzelm [Mon, 30 Mar 2020 19:39:11 +0200] rev 71631
more accurate treatment of errors;
Mon, 30 Mar 2020 11:59:44 +0200 clarified modules: global quasi-scope for markers;
wenzelm [Mon, 30 Mar 2020 11:59:44 +0200] rev 71630
clarified modules: global quasi-scope for markers;
Mon, 30 Mar 2020 10:35:10 +0200 redunant simp rule
nipkow [Mon, 30 Mar 2020 10:35:10 +0200] rev 71629
redunant simp rule
Sun, 29 Mar 2020 23:54:00 +0100 merged
paulson [Sun, 29 Mar 2020 23:54:00 +0100] rev 71628
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip