| Thu, 24 Jan 2013 17:40:04 +0100 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 17:15:42 +0100 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 17:14:39 +0100 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 15:04:11 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 11:38:07 +0100 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 10:53:43 +0100 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 00:20:26 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Wed, 23 Jan 2013 08:01:35 +0100 |
Christian Urban |
small updates
|
file |
diff |
annotate
|
| Tue, 22 Jan 2013 14:38:56 +0000 |
Christian Urban |
updated files
|
file |
diff |
annotate
|
| Sat, 19 Jan 2013 12:45:14 +0000 |
Christian Urban |
updated before_final
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 13:56:35 +0000 |
Christian Urban |
updated turing_basic by Jian
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 13:03:09 +0000 |
Christian Urban |
shortening a bit the paper and updating various things
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 11:40:01 +0000 |
Christian Urban |
updated to ITP and updated directories
|
file |
diff |
annotate
| base
|