Tue, 01 Jun 2010 15:48:25 +0200 added larry's paper
Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:48:25 +0200] rev 2204
added larry's paper
Tue, 01 Jun 2010 15:45:43 +0200 tuned
Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:45:43 +0200] rev 2203
tuned
Sat, 29 May 2010 00:16:39 +0200 first version of the abstract
Christian Urban <urbanc@in.tum.de> [Sat, 29 May 2010 00:16:39 +0200] rev 2202
first version of the abstract
Thu, 27 May 2010 18:30:42 +0200 merged
Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:30:42 +0200] rev 2201
merged
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip