paulson [Thu, 02 Jul 2009 14:43:06 +0100] rev 31905
merged
paulson [Thu, 02 Jul 2009 10:49:46 +0100] rev 31904
Deleted some debugging code
paulson [Wed, 01 Jul 2009 16:19:44 +0100] rev 31903
merged
paulson [Wed, 24 Jun 2009 16:28:30 +0100] rev 31902
merged
paulson [Tue, 23 Jun 2009 15:48:55 +0100] rev 31901
merged
paulson [Thu, 18 Jun 2009 17:14:08 +0100] rev 31900
Removed unnecessary conditions concerning nonzero divisors
wenzelm [Thu, 02 Jul 2009 15:37:22 +0200] rev 31899
fixed document (DERIV_intros);
minor tuning;
wenzelm [Tue, 30 Jun 2009 22:23:33 +0200] rev 31898
more detailed timing message;
wenzelm [Tue, 30 Jun 2009 22:12:46 +0200] rev 31897
default to maximum max_threads;
wenzelm [Tue, 30 Jun 2009 22:05:07 +0200] rev 31896
merged