Sat, 07 Apr 2012 17:55:35 +0200 more robust update_perspective, e.g. required after reload of buffer that is not at start position;
wenzelm [Sat, 07 Apr 2012 17:55:35 +0200] rev 47393
more robust update_perspective, e.g. required after reload of buffer that is not at start position;
Sat, 07 Apr 2012 17:49:20 +0200 tuned imports;
wenzelm [Sat, 07 Apr 2012 17:49:20 +0200] rev 47392
tuned imports;
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
Fri, 06 Apr 2012 13:50:07 +0200 merged
huffman [Fri, 06 Apr 2012 13:50:07 +0200] rev 47385
merged
Fri, 06 Apr 2012 10:37:46 +0200 add function dest_Quotient
huffman [Fri, 06 Apr 2012 10:37:46 +0200] rev 47384
add function dest_Quotient
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip