Mon, 27 Sep 2010 18:11:33 +0200 bulk read: observe EOF protocol more carefully -- 0 counts as successful read;
wenzelm [Mon, 27 Sep 2010 18:11:33 +0200] rev 39731
bulk read: observe EOF protocol more carefully -- 0 counts as successful read;
Mon, 27 Sep 2010 18:10:21 +0200 tuned whitespace;
wenzelm [Mon, 27 Sep 2010 18:10:21 +0200] rev 39730
tuned whitespace;
Mon, 27 Sep 2010 14:54:10 +0200 merged
wenzelm [Mon, 27 Sep 2010 14:54:10 +0200] rev 39729
merged
Mon, 27 Sep 2010 14:13:22 +0200 lemma remdups_map_remdups
haftmann [Mon, 27 Sep 2010 14:13:22 +0200] rev 39728
lemma remdups_map_remdups
Mon, 27 Sep 2010 14:13:22 +0200 lemma remdups_list_of_dlist
haftmann [Mon, 27 Sep 2010 14:13:22 +0200] rev 39727
lemma remdups_list_of_dlist
Mon, 27 Sep 2010 13:28:54 +0200 merged
bulwahn [Mon, 27 Sep 2010 13:28:54 +0200] rev 39726
merged
Mon, 27 Sep 2010 12:23:01 +0200 adopting example
bulwahn [Mon, 27 Sep 2010 12:23:01 +0200] rev 39725
adopting example
Mon, 27 Sep 2010 12:23:00 +0200 adding further tracing messages; tuned
bulwahn [Mon, 27 Sep 2010 12:23:00 +0200] rev 39724
adding further tracing messages; tuned
Mon, 27 Sep 2010 12:22:57 +0200 handling nested cases more elegant by requiring less new constants
bulwahn [Mon, 27 Sep 2010 12:22:57 +0200] rev 39723
handling nested cases more elegant by requiring less new constants
Mon, 27 Sep 2010 12:01:04 +0200 merged
blanchet [Mon, 27 Sep 2010 12:01:04 +0200] rev 39722
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip