Sun, 17 Feb 2013 21:29:30 +0100 Sieve of Eratosthenes
haftmann [Sun, 17 Feb 2013 21:29:30 +0100] rev 51173
Sieve of Eratosthenes
Sun, 17 Feb 2013 20:45:49 +0100 note on parallel computation
haftmann [Sun, 17 Feb 2013 20:45:49 +0100] rev 51172
note on parallel computation
Sun, 17 Feb 2013 19:39:00 +0100 corrected and clarified Code_Binary_Nat vs. Code_Target_Nat
haftmann [Sun, 17 Feb 2013 19:39:00 +0100] rev 51171
corrected and clarified Code_Binary_Nat vs. Code_Target_Nat
Sun, 17 Feb 2013 11:34:40 +0100 simplified construction of upto_aux
haftmann [Sun, 17 Feb 2013 11:34:40 +0100] rev 51170
simplified construction of upto_aux
Sun, 17 Feb 2013 11:06:10 +0100 merged
haftmann [Sun, 17 Feb 2013 11:06:10 +0100] rev 51169
merged
Sat, 16 Feb 2013 08:21:08 +0100 restored proper order of NEWS entries (lost due too long-waiting patches)
haftmann [Sat, 16 Feb 2013 08:21:08 +0100] rev 51168
restored proper order of NEWS entries (lost due too long-waiting patches)
Sun, 17 Feb 2013 10:40:53 +0100 CONTRIBUTORS
haftmann [Sun, 17 Feb 2013 10:40:53 +0100] rev 51167
CONTRIBUTORS
Sat, 16 Feb 2013 15:27:10 +0100 tail recursive code for function "upto"
nipkow [Sat, 16 Feb 2013 15:27:10 +0100] rev 51166
tail recursive code for function "upto"
Fri, 15 Feb 2013 16:53:39 +0100 tuning
blanchet [Fri, 15 Feb 2013 16:53:39 +0100] rev 51165
tuning
Fri, 15 Feb 2013 16:40:39 +0100 repaired collateral damage from 4f0147ed8bcb
blanchet [Fri, 15 Feb 2013 16:40:39 +0100] rev 51164
repaired collateral damage from 4f0147ed8bcb
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip