Mercurial Mercurial > hg > tm / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -120 +120 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 18 Feb 2013 00:18:56 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 00:18:56 +0000] rev 179
tuned
Sat, 16 Feb 2013 11:02:08 +0000 added some TM machines
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 11:02:08 +0000] rev 178
added some TM machines
Sat, 16 Feb 2013 09:07:07 +0000 added abacus programs
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 09:07:07 +0000] rev 177
added abacus programs
Fri, 15 Feb 2013 18:24:00 +0000 added scala file
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 18:24:00 +0000] rev 176
added scala file
Fri, 15 Feb 2013 23:02:20 +0800 remove dead code in Abacus_mopup
changeset
Jian Xu [Fri, 15 Feb 2013 23:02:20 +0800] rev 175
remove dead code in Abacus_mopup
Fri, 15 Feb 2013 14:07:39 +0000 tuning
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 14:07:39 +0000] rev 174
tuning
Fri, 15 Feb 2013 14:05:26 +0000 split Mopup TM into a separate file
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 14:05:26 +0000] rev 173
split Mopup TM into a separate file
Fri, 15 Feb 2013 07:42:47 +0000 polished naming convention
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 07:42:47 +0000] rev 172
polished naming convention
Thu, 14 Feb 2013 12:11:40 +0000 typo in the paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Feb 2013 12:11:40 +0000] rev 171
typo in the paper
Thu, 14 Feb 2013 09:31:19 +0000 updated some files
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Feb 2013 09:31:19 +0000] rev 170
updated some files
Wed, 13 Feb 2013 20:08:14 +0000 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Feb 2013 20:08:14 +0000] rev 169
tuned
Tue, 12 Feb 2013 13:37:07 +0000 small changes
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Feb 2013 13:37:07 +0000] rev 168
small changes
Mon, 11 Feb 2013 08:46:24 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Feb 2013 08:46:24 +0000] rev 167
updated
Mon, 11 Feb 2013 08:31:48 +0000 removed some dead code
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Feb 2013 08:31:48 +0000] rev 166
removed some dead code
Mon, 11 Feb 2013 00:08:54 +0000 took out all deadcode from abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Feb 2013 00:08:54 +0000] rev 165
took out all deadcode from abacus
Sun, 10 Feb 2013 20:56:08 +0000 fixed compilation of paper and typo
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Feb 2013 20:56:08 +0000] rev 164
fixed compilation of paper and typo
Sun, 10 Feb 2013 19:49:07 +0000 changed theory names to uppercase
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Feb 2013 19:49:07 +0000] rev 163
changed theory names to uppercase
Thu, 07 Feb 2013 06:39:06 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 06:39:06 +0000] rev 162
updated paper
Thu, 07 Feb 2013 06:10:11 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 06:10:11 +0000] rev 161
updated paper
Thu, 07 Feb 2013 06:08:26 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 06:08:26 +0000] rev 160
updated paper
Thu, 07 Feb 2013 05:46:17 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:46:17 +0000] rev 159
updated paper
Thu, 07 Feb 2013 05:32:00 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:32:00 +0000] rev 158
updated paper
Thu, 07 Feb 2013 05:23:53 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:23:53 +0000] rev 157
updated paper
Thu, 07 Feb 2013 05:19:01 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:19:01 +0000] rev 156
updated paper
Thu, 07 Feb 2013 05:12:55 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 05:12:55 +0000] rev 155
updated paper
Thu, 07 Feb 2013 04:56:01 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 04:56:01 +0000] rev 154
updated paper
Thu, 07 Feb 2013 04:53:29 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 04:53:29 +0000] rev 153
updated paper
Thu, 07 Feb 2013 04:28:00 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 04:28:00 +0000] rev 152
updated paper
Thu, 07 Feb 2013 03:40:23 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:40:23 +0000] rev 151
updated paper
Thu, 07 Feb 2013 03:37:02 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:37:02 +0000] rev 150
updated paper
Thu, 07 Feb 2013 03:33:32 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:33:32 +0000] rev 149
updated paper
Thu, 07 Feb 2013 03:19:36 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:19:36 +0000] rev 148
updated paper
Thu, 07 Feb 2013 03:15:29 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:15:29 +0000] rev 147
updated paper
Thu, 07 Feb 2013 03:14:58 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:14:58 +0000] rev 146
updated paper
Thu, 07 Feb 2013 03:01:51 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 03:01:51 +0000] rev 145
updated paper
Thu, 07 Feb 2013 01:00:55 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 01:00:55 +0000] rev 144
updated paper
Thu, 07 Feb 2013 00:50:19 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 00:50:19 +0000] rev 143
updated paper
Thu, 07 Feb 2013 00:48:09 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 00:48:09 +0000] rev 142
updated paper
Thu, 07 Feb 2013 00:46:04 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Feb 2013 00:46:04 +0000] rev 141
updated paper
Wed, 06 Feb 2013 14:14:35 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 14:14:35 +0000] rev 140
updated
Wed, 06 Feb 2013 14:09:35 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 14:09:35 +0000] rev 139
updated
Wed, 06 Feb 2013 14:06:18 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 14:06:18 +0000] rev 138
updated
Wed, 06 Feb 2013 13:28:01 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 13:28:01 +0000] rev 137
updated
Wed, 06 Feb 2013 13:21:35 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 13:21:35 +0000] rev 136
updated
Wed, 06 Feb 2013 05:58:01 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 05:58:01 +0000] rev 135
updated
Wed, 06 Feb 2013 05:49:16 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 05:49:16 +0000] rev 134
updated
Wed, 06 Feb 2013 04:39:08 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:39:08 +0000] rev 133
updated
Wed, 06 Feb 2013 04:32:18 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:32:18 +0000] rev 132
updated
Wed, 06 Feb 2013 04:27:03 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:27:03 +0000] rev 131
updated
Wed, 06 Feb 2013 04:11:06 +0000 added UTM
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 04:11:06 +0000] rev 130
added UTM
Wed, 06 Feb 2013 03:37:26 +0000 updated recursive
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 03:37:26 +0000] rev 129
updated recursive
Wed, 06 Feb 2013 02:42:52 +0000 added readme
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 02:42:52 +0000] rev 128
added readme
Wed, 06 Feb 2013 02:39:53 +0000 moved old files into attic
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 02:39:53 +0000] rev 127
moved old files into attic
Wed, 06 Feb 2013 02:25:00 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Feb 2013 02:25:00 +0000] rev 126
updated
Tue, 05 Feb 2013 12:41:00 +0000 conclusion
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 12:41:00 +0000] rev 125
conclusion
Tue, 05 Feb 2013 10:23:08 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 10:23:08 +0000] rev 124
updated
Tue, 05 Feb 2013 10:12:56 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 10:12:56 +0000] rev 123
updated
Tue, 05 Feb 2013 10:11:38 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 10:11:38 +0000] rev 122
updated
Tue, 05 Feb 2013 09:36:21 +0000 paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 09:36:21 +0000] rev 121
paper
Tue, 05 Feb 2013 09:22:56 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 09:22:56 +0000] rev 120
updated
Tue, 05 Feb 2013 09:17:06 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 09:17:06 +0000] rev 119
updated
Tue, 05 Feb 2013 08:58:30 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 08:58:30 +0000] rev 118
updated
Tue, 05 Feb 2013 08:57:55 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Feb 2013 08:57:55 +0000] rev 117
updated
Mon, 04 Feb 2013 23:12:17 +0000 paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 23:12:17 +0000] rev 116
paper
Mon, 04 Feb 2013 21:11:43 +0000 started with abacus section
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 21:11:43 +0000] rev 115
started with abacus section
Mon, 04 Feb 2013 11:14:03 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 11:14:03 +0000] rev 114
updated
Mon, 04 Feb 2013 01:47:26 +0000 abacus section updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 01:47:26 +0000] rev 113
abacus section updated
Mon, 04 Feb 2013 01:17:09 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 01:17:09 +0000] rev 112
updated
Sun, 03 Feb 2013 13:31:14 +0000 made uncomputable compatible with abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 13:31:14 +0000] rev 111
made uncomputable compatible with abacus
Sun, 03 Feb 2013 12:24:28 +0000 completed undecidability proof
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:28 +0000] rev 110
completed undecidability proof
Sun, 03 Feb 2013 12:24:00 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:00 +0000] rev 109
updated paper
Fri, 01 Feb 2013 14:54:47 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 14:54:47 +0000] rev 108
updated paper
Fri, 01 Feb 2013 13:12:55 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 13:12:55 +0000] rev 107
updated paper
Fri, 01 Feb 2013 10:14:09 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 10:14:09 +0000] rev 106
updated paper
Fri, 01 Feb 2013 01:34:37 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 01:34:37 +0000] rev 105
updated paper
Thu, 31 Jan 2013 11:35:16 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 31 Jan 2013 11:35:16 +0000] rev 104
updated paper
Wed, 30 Jan 2013 23:57:33 +0000 updated theories
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 23:57:33 +0000] rev 103
updated theories
Wed, 30 Jan 2013 23:00:09 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 23:00:09 +0000] rev 102
updated paper
Wed, 30 Jan 2013 09:33:06 +0000 theories
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 09:33:06 +0000] rev 101
theories
Wed, 30 Jan 2013 03:46:22 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 03:46:22 +0000] rev 100
updated paper
Wed, 30 Jan 2013 03:33:05 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 03:33:05 +0000] rev 99
updated paper
Wed, 30 Jan 2013 02:29:47 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 02:29:47 +0000] rev 98
updated paper
Wed, 30 Jan 2013 02:26:56 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Jan 2013 02:26:56 +0000] rev 97
updated paper
Tue, 29 Jan 2013 16:37:38 +0000 updated uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Jan 2013 16:37:38 +0000] rev 96
updated uncomputable
Tue, 29 Jan 2013 13:00:51 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Jan 2013 13:00:51 +0000] rev 95
updated paper
Tue, 29 Jan 2013 12:37:06 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Jan 2013 12:37:06 +0000] rev 94
updated paper
Mon, 28 Jan 2013 02:38:57 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 28 Jan 2013 02:38:57 +0000] rev 93
updated paper
Sun, 27 Jan 2013 20:01:13 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 20:01:13 +0000] rev 92
updated paper
Sun, 27 Jan 2013 17:15:38 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 17:15:38 +0000] rev 91
updated paper
Sun, 27 Jan 2013 15:46:32 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 15:46:32 +0000] rev 90
updated paper
Sun, 27 Jan 2013 14:57:54 +0000 updated uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 14:57:54 +0000] rev 89
updated uncomputable
Sun, 27 Jan 2013 00:09:17 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Jan 2013 00:09:17 +0000] rev 88
updated paper
Sat, 26 Jan 2013 21:46:12 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 21:46:12 +0000] rev 87
updated paper
Sat, 26 Jan 2013 12:00:21 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 12:00:21 +0000] rev 86
updated paper
Sat, 26 Jan 2013 11:50:40 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 11:50:40 +0000] rev 85
updated paper
Sat, 26 Jan 2013 01:36:48 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Jan 2013 01:36:48 +0000] rev 84
updated paper
Fri, 25 Jan 2013 22:12:01 +0000 simplified uncomputable-locale
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 22:12:01 +0000] rev 83
simplified uncomputable-locale
Fri, 25 Jan 2013 22:03:03 +0000 simplified uncomputable-locale
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 22:03:03 +0000] rev 82
simplified uncomputable-locale
Fri, 25 Jan 2013 21:15:09 +0000 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 21:15:09 +0000] rev 81
updated paper
Fri, 25 Jan 2013 15:57:58 +0100 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Jan 2013 15:57:58 +0100] rev 80
updated
Thu, 24 Jan 2013 18:59:49 +0100 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 18:59:49 +0100] rev 79
updated paper
Thu, 24 Jan 2013 17:40:04 +0100 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 17:40:04 +0100] rev 78
updated paper
Thu, 24 Jan 2013 17:15:42 +0100 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 17:15:42 +0100] rev 77
updated paper
Thu, 24 Jan 2013 17:14:39 +0100 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 17:14:39 +0100] rev 76
updated paper
Thu, 24 Jan 2013 15:04:11 +0100 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 15:04:11 +0100] rev 75
updated
Thu, 24 Jan 2013 12:01:44 +0100 added literature
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 12:01:44 +0100] rev 74
added literature
Thu, 24 Jan 2013 11:38:07 +0100 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 11:38:07 +0100] rev 73
updated paper
Thu, 24 Jan 2013 10:53:43 +0100 updated paper
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 10:53:43 +0100] rev 72
updated paper
Thu, 24 Jan 2013 00:20:26 +0100 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 24 Jan 2013 00:20:26 +0100] rev 71
updated
Wed, 23 Jan 2013 20:18:40 +0100 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 20:18:40 +0100] rev 70
updated
Wed, 23 Jan 2013 17:02:23 +0100 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 17:02:23 +0100] rev 69
tuned
Wed, 23 Jan 2013 15:57:35 +0100 tuned
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:57:35 +0100] rev 68
tuned
Wed, 23 Jan 2013 15:42:47 +0100 using some abbreviations
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:42:47 +0100] rev 67
using some abbreviations
Wed, 23 Jan 2013 15:33:26 +0100 tuned more
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:33:26 +0100] rev 66
tuned more
Wed, 23 Jan 2013 15:06:32 +0100 also polished uh_h proof
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 15:06:32 +0100] rev 65
also polished uh_h proof
Wed, 23 Jan 2013 12:25:24 +0100 updated h_uh proof in uncomputable
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 12:25:24 +0100] rev 64
updated h_uh proof in uncomputable
Wed, 23 Jan 2013 08:01:35 +0100 small updates
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Jan 2013 08:01:35 +0100] rev 63
small updates
Tue, 22 Jan 2013 14:46:02 +0000 updated
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:46:02 +0000] rev 62
updated
Tue, 22 Jan 2013 14:38:56 +0000 updated files
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Jan 2013 14:38:56 +0000] rev 61
updated files
Sun, 20 Jan 2013 16:01:16 +0000 new version of abacus
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 20 Jan 2013 16:01:16 +0000] rev 60
new version of abacus
(0) -120 +120 tip
tm