Sat, 07 Apr 2012 17:48:47 +0200 updated header keywords;
wenzelm [Sat, 07 Apr 2012 17:48:47 +0200] rev 47391
updated header keywords;
Sat, 07 Apr 2012 16:59:27 +0200 init message not bad;
wenzelm [Sat, 07 Apr 2012 16:59:27 +0200] rev 47390
init message not bad;
Sat, 07 Apr 2012 16:41:59 +0200 explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions;
wenzelm [Sat, 07 Apr 2012 16:41:59 +0200] rev 47389
explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions; tuned;
Fri, 06 Apr 2012 23:34:38 +0200 discontinued obsolete last_execs (cf. cd3ab7625519);
wenzelm [Fri, 06 Apr 2012 23:34:38 +0200] rev 47388
discontinued obsolete last_execs (cf. cd3ab7625519);
Fri, 06 Apr 2012 14:40:00 +0200 remove now-unnecessary type annotations from lift_definition commands
huffman [Fri, 06 Apr 2012 14:40:00 +0200] rev 47387
remove now-unnecessary type annotations from lift_definition commands
Fri, 06 Apr 2012 14:39:27 +0200 more robust generation of quotient rules using tactics
huffman [Fri, 06 Apr 2012 14:39:27 +0200] rev 47386
more robust generation of quotient rules using tactics
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip