Thu, 10 Jun 2010 13:28:38 +0200 |
Christian Urban |
added to the popl-paper a pointer to work by Altenkirch
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 15:45:43 +0200 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
Wed, 26 May 2010 15:35:34 +0200 |
Christian Urban |
added FSet to the correct paper
|
file |
diff |
annotate
|
Wed, 26 May 2010 15:26:00 +0200 |
Christian Urban |
added FSet
|
file |
diff |
annotate
|
Tue, 25 May 2010 07:59:16 +0200 |
Christian Urban |
edits from the reviewers
|
file |
diff |
annotate
|
Mon, 24 May 2010 22:47:06 +0100 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
Wed, 19 May 2010 12:43:38 +0100 |
Christian Urban |
added comments about pottiers work
|
file |
diff |
annotate
|
Tue, 18 May 2010 14:40:05 +0100 |
Christian Urban |
soem minor tuning
|
file |
diff |
annotate
|
Sun, 16 May 2010 11:00:44 +0100 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
Sat, 15 May 2010 22:06:06 +0100 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
Fri, 14 May 2010 21:18:34 +0100 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
Fri, 14 May 2010 15:02:25 +0100 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
Thu, 13 May 2010 17:41:28 +0100 |
Christian Urban |
tuned the paper
|
file |
diff |
annotate
|
Tue, 27 Apr 2010 19:51:35 +0200 |
Christian Urban |
merged
|
file |
diff |
annotate
|