Tue, 26 Nov 2013 19:54:16 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 26 Nov 2013 19:54:16 +0000] rev 205
updated
Sat, 23 Nov 2013 13:45:55 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 23 Nov 2013 13:45:55 +0000] rev 204
added
Sat, 23 Nov 2013 11:16:35 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 23 Nov 2013 11:16:35 +0000] rev 203
added
Sat, 23 Nov 2013 11:09:27 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 23 Nov 2013 11:09:27 +0000] rev 202
added
Sat, 23 Nov 2013 09:17:59 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 23 Nov 2013 09:17:59 +0000] rev 201
added
Fri, 22 Nov 2013 20:27:30 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 22 Nov 2013 20:27:30 +0000] rev 200
added
Fri, 22 Nov 2013 16:59:17 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 22 Nov 2013 16:59:17 +0000] rev 199
added
Fri, 22 Nov 2013 16:56:51 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 22 Nov 2013 16:56:51 +0000] rev 198
added
Tue, 19 Nov 2013 23:44:49 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Nov 2013 23:44:49 +0000] rev 197
added
Tue, 19 Nov 2013 23:38:49 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Nov 2013 23:38:49 +0000] rev 196
added
Sun, 17 Nov 2013 19:23:15 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 17 Nov 2013 19:23:15 +0000] rev 195
added
Sun, 17 Nov 2013 18:16:20 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 17 Nov 2013 18:16:20 +0000] rev 194
added
Fri, 15 Nov 2013 10:29:04 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Nov 2013 10:29:04 +0000] rev 193
added
Thu, 14 Nov 2013 20:15:06 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Nov 2013 20:15:06 +0000] rev 192
added
Thu, 14 Nov 2013 20:10:06 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Nov 2013 20:10:06 +0000] rev 191
added
Thu, 14 Nov 2013 20:08:39 +0000 added new version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Nov 2013 20:08:39 +0000] rev 190
added new version
Wed, 13 Nov 2013 20:07:26 +0000 added cw1
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Nov 2013 20:07:26 +0000] rev 189
added cw1
Wed, 13 Nov 2013 06:40:37 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Nov 2013 06:40:37 +0000] rev 188
added
Tue, 12 Nov 2013 22:54:41 +0000 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Nov 2013 22:54:41 +0000] rev 187
added slides
Tue, 12 Nov 2013 21:51:57 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Nov 2013 21:51:57 +0000] rev 186
added
Mon, 11 Nov 2013 23:24:38 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Nov 2013 23:24:38 +0000] rev 185
added
Mon, 11 Nov 2013 15:26:20 +0000 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Nov 2013 15:26:20 +0000] rev 184
added slides
Mon, 11 Nov 2013 13:48:34 +0000 added new stuff
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Nov 2013 13:48:34 +0000] rev 183
added new stuff
Mon, 11 Nov 2013 00:34:14 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Nov 2013 00:34:14 +0000] rev 182
added
Sun, 10 Nov 2013 09:27:01 +0000 added material
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Nov 2013 09:27:01 +0000] rev 181
added material
Sun, 03 Nov 2013 11:10:07 +0100 added cw
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Nov 2013 11:10:07 +0100] rev 180
added cw
Sun, 03 Nov 2013 00:45:49 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Nov 2013 00:45:49 +0000] rev 179
updated
Sun, 03 Nov 2013 00:41:24 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Nov 2013 00:41:24 +0000] rev 178
added
Fri, 01 Nov 2013 23:19:45 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Nov 2013 23:19:45 +0000] rev 177
updated
Fri, 01 Nov 2013 15:56:17 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Nov 2013 15:56:17 +0000] rev 176
updated
Fri, 01 Nov 2013 13:16:43 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Nov 2013 13:16:43 +0000] rev 175
updated
Fri, 01 Nov 2013 11:58:27 +0000 added pdf
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Nov 2013 11:58:27 +0000] rev 174
added pdf
Fri, 01 Nov 2013 11:57:04 +0000 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Nov 2013 11:57:04 +0000] rev 173
added slides
Wed, 30 Oct 2013 15:14:14 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Oct 2013 15:14:14 +0000] rev 172
added
Wed, 30 Oct 2013 13:08:09 +0000 renewed
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Oct 2013 13:08:09 +0000] rev 171
renewed
Wed, 30 Oct 2013 03:44:40 +0000 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Oct 2013 03:44:40 +0000] rev 170
added slides
Wed, 30 Oct 2013 03:36:10 +0000 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 30 Oct 2013 03:36:10 +0000] rev 169
added slides
Tue, 29 Oct 2013 12:24:22 +0000 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Oct 2013 12:24:22 +0000] rev 168
added slides
Mon, 28 Oct 2013 13:19:44 +0000 added matcher
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 28 Oct 2013 13:19:44 +0000] rev 167
added matcher
Sun, 27 Oct 2013 20:07:10 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Oct 2013 20:07:10 +0000] rev 166
updated
Sun, 27 Oct 2013 15:16:42 +0000 tuned progs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Oct 2013 15:16:42 +0000] rev 165
tuned progs
Sun, 27 Oct 2013 14:17:55 +0000 added progs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Oct 2013 14:17:55 +0000] rev 164
added progs
Sun, 27 Oct 2013 07:50:01 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Oct 2013 07:50:01 +0000] rev 163
added
Sun, 27 Oct 2013 01:07:25 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Oct 2013 01:07:25 +0100] rev 162
added
Sun, 27 Oct 2013 00:08:57 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 27 Oct 2013 00:08:57 +0100] rev 161
added
Sat, 26 Oct 2013 10:06:58 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Oct 2013 10:06:58 +0100] rev 160
added
Sat, 26 Oct 2013 10:02:29 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Oct 2013 10:02:29 +0100] rev 159
added
Sat, 26 Oct 2013 01:22:21 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Oct 2013 01:22:21 +0100] rev 158
added
Sat, 26 Oct 2013 01:02:59 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Oct 2013 01:02:59 +0100] rev 157
added
Sat, 26 Oct 2013 00:49:14 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Oct 2013 00:49:14 +0100] rev 156
added
Sat, 26 Oct 2013 00:39:27 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 26 Oct 2013 00:39:27 +0100] rev 155
added
Fri, 25 Oct 2013 17:55:35 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Oct 2013 17:55:35 +0100] rev 154
added
Fri, 25 Oct 2013 17:06:19 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Oct 2013 17:06:19 +0100] rev 153
added
Fri, 25 Oct 2013 14:33:35 +0100 added ho
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Oct 2013 14:33:35 +0100] rev 152
added ho
Fri, 25 Oct 2013 14:13:27 +0100 added ho
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 25 Oct 2013 14:13:27 +0100] rev 151
added ho
Wed, 23 Oct 2013 07:28:23 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Oct 2013 07:28:23 +0100] rev 150
added
Wed, 23 Oct 2013 01:05:22 +0100 add
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Oct 2013 01:05:22 +0100] rev 149
add
Wed, 23 Oct 2013 00:09:41 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 23 Oct 2013 00:09:41 +0100] rev 148
added
Tue, 22 Oct 2013 23:17:53 +0100 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Oct 2013 23:17:53 +0100] rev 147
added slides
Mon, 21 Oct 2013 15:02:54 +0100 added new hws
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Oct 2013 15:02:54 +0100] rev 146
added new hws
Wed, 16 Oct 2013 02:07:02 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 16 Oct 2013 02:07:02 +0100] rev 145
added
Tue, 15 Oct 2013 22:14:04 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 15 Oct 2013 22:14:04 +0100] rev 144
added
Tue, 15 Oct 2013 00:28:51 +0200 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 15 Oct 2013 00:28:51 +0200] rev 143
added
Sat, 12 Oct 2013 23:39:20 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Oct 2013 23:39:20 +0100] rev 142
added
Sat, 12 Oct 2013 10:13:52 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Oct 2013 10:13:52 +0100] rev 141
added
Sat, 12 Oct 2013 10:12:38 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Oct 2013 10:12:38 +0100] rev 140
added
Sat, 12 Oct 2013 09:13:42 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 12 Oct 2013 09:13:42 +0100] rev 139
added
Fri, 11 Oct 2013 14:51:11 +0100 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Oct 2013 14:51:11 +0100] rev 138
added slides
Fri, 11 Oct 2013 14:02:35 +0100 added pictures
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 11 Oct 2013 14:02:35 +0100] rev 137
added pictures
Wed, 09 Oct 2013 20:54:52 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 09 Oct 2013 20:54:52 +0100] rev 136
added
Tue, 08 Oct 2013 21:59:31 +0100 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Oct 2013 21:59:31 +0100] rev 135
added slides
Tue, 08 Oct 2013 21:37:13 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Oct 2013 21:37:13 +0100] rev 134
added
Mon, 07 Oct 2013 16:59:36 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Oct 2013 16:59:36 +0100] rev 133
updated
Mon, 07 Oct 2013 09:45:11 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Oct 2013 09:45:11 +0100] rev 132
added
Mon, 07 Oct 2013 09:34:12 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Oct 2013 09:34:12 +0100] rev 131
added
Mon, 07 Oct 2013 09:30:54 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Oct 2013 09:30:54 +0100] rev 130
added
Mon, 07 Oct 2013 09:24:22 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Oct 2013 09:24:22 +0100] rev 129
added
Mon, 07 Oct 2013 08:52:03 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Oct 2013 08:52:03 +0100] rev 128
updated
Mon, 07 Oct 2013 04:04:06 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Oct 2013 04:04:06 +0100] rev 127
added
Sat, 05 Oct 2013 00:56:06 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 05 Oct 2013 00:56:06 +0100] rev 126
added
Sat, 05 Oct 2013 00:36:53 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 05 Oct 2013 00:36:53 +0100] rev 125
added
Fri, 04 Oct 2013 15:55:42 +0100 adde
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 04 Oct 2013 15:55:42 +0100] rev 124
adde
Fri, 04 Oct 2013 15:40:10 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 04 Oct 2013 15:40:10 +0100] rev 123
added
Wed, 02 Oct 2013 01:16:30 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 02 Oct 2013 01:16:30 +0100] rev 122
added
Wed, 02 Oct 2013 01:02:50 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 02 Oct 2013 01:02:50 +0100] rev 121
updated
Wed, 02 Oct 2013 00:10:52 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 02 Oct 2013 00:10:52 +0100] rev 120
added
Tue, 01 Oct 2013 23:59:36 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 01 Oct 2013 23:59:36 +0100] rev 119
added
Mon, 30 Sep 2013 20:03:41 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 30 Sep 2013 20:03:41 +0100] rev 118
added
Mon, 30 Sep 2013 13:18:16 +0100 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 30 Sep 2013 13:18:16 +0100] rev 117
added slides
Fri, 27 Sep 2013 15:43:25 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 27 Sep 2013 15:43:25 +0100] rev 116
updated
Fri, 27 Sep 2013 15:05:50 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 27 Sep 2013 15:05:50 +0100] rev 115
updated
Fri, 27 Sep 2013 12:22:43 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 27 Sep 2013 12:22:43 +0100] rev 114
added
Fri, 27 Sep 2013 11:58:22 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 27 Sep 2013 11:58:22 +0100] rev 113
added
Fri, 27 Sep 2013 11:49:44 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 27 Sep 2013 11:49:44 +0100] rev 112
added
Fri, 27 Sep 2013 11:01:31 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 27 Sep 2013 11:01:31 +0100] rev 111
added
Fri, 27 Sep 2013 10:53:29 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 27 Sep 2013 10:53:29 +0100] rev 110
updated
Thu, 26 Sep 2013 15:17:38 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 15:17:38 +0100] rev 109
added
Thu, 26 Sep 2013 15:11:25 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 15:11:25 +0100] rev 108
added
Thu, 26 Sep 2013 13:15:05 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 13:15:05 +0100] rev 107
added
Thu, 26 Sep 2013 13:06:27 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 13:06:27 +0100] rev 106
added
Thu, 26 Sep 2013 11:50:31 +0100 added handouts
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 11:50:31 +0100] rev 105
added handouts
Thu, 26 Sep 2013 11:05:54 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 11:05:54 +0100] rev 104
updated
Thu, 26 Sep 2013 10:52:54 +0100 links
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 10:52:54 +0100] rev 103
links
Thu, 26 Sep 2013 10:41:47 +0100 links
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 10:41:47 +0100] rev 102
links
Thu, 26 Sep 2013 10:39:23 +0100 links
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 10:39:23 +0100] rev 101
links
Thu, 26 Sep 2013 10:36:24 +0100 updated progs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 26 Sep 2013 10:36:24 +0100] rev 100
updated progs
Wed, 25 Sep 2013 20:35:54 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 25 Sep 2013 20:35:54 +0100] rev 99
added
Tue, 24 Sep 2013 23:31:53 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 24 Sep 2013 23:31:53 +0100] rev 98
updated
Tue, 24 Sep 2013 23:16:00 +0100 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 24 Sep 2013 23:16:00 +0100] rev 97
added
Tue, 24 Sep 2013 01:56:53 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 24 Sep 2013 01:56:53 +0100] rev 96
updated
Tue, 24 Sep 2013 01:12:36 +0100 added new stuff
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 24 Sep 2013 01:12:36 +0100] rev 95
added new stuff
Wed, 07 Aug 2013 17:31:42 +0100 added first part of the Sulzmann paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 07 Aug 2013 17:31:42 +0100] rev 94
added first part of the Sulzmann paper
Sat, 15 Jun 2013 09:23:18 -0400 better organised
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 15 Jun 2013 09:23:18 -0400] rev 93
better organised
Sat, 15 Jun 2013 09:11:11 -0400 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 15 Jun 2013 09:11:11 -0400] rev 92
moved scala files
Sun, 23 Dec 2012 00:38:56 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 23 Dec 2012 00:38:56 +0000] rev 91
added
Fri, 21 Dec 2012 10:53:50 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Dec 2012 10:53:50 +0000] rev 90
added
Tue, 11 Dec 2012 11:07:49 +0000 typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 11 Dec 2012 11:07:49 +0000] rev 89
typo
Wed, 05 Dec 2012 12:38:24 +0000 typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 05 Dec 2012 12:38:24 +0000] rev 88
typo
Wed, 05 Dec 2012 12:00:52 +0000 typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 05 Dec 2012 12:00:52 +0000] rev 87
typo
Wed, 05 Dec 2012 04:13:12 +0000 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 05 Dec 2012 04:13:12 +0000] rev 86
added
(0) -120 +120 tip