Tue, 19 Feb 2013 04:31:18 +0000 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:31:18 +0000] rev 184
added newer ROOT file
Mon, 18 Feb 2013 14:39:50 +0000 updated exponent program
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 14:39:50 +0000] rev 183
updated exponent program
Mon, 18 Feb 2013 13:33:00 +0000 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:33:00 +0000] rev 182
tuned
Mon, 18 Feb 2013 13:28:51 +0000 removed unnecessary examples from Abacus.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:28:51 +0000] rev 181
removed unnecessary examples from Abacus.thy
Mon, 18 Feb 2013 13:26:27 +0000 added abacus machines
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:26:27 +0000] rev 180
added abacus machines
Mon, 18 Feb 2013 00:18:56 +0000 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 00:18:56 +0000] rev 179
tuned
(0) -100 -30 -10 -6 +6 +10 +30 +100 tip