Sat, 05 Jun 2010 10:03:42 +0200 qpaper / example interaction
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Jun 2010 10:03:42 +0200] rev 2210
qpaper / example interaction
Sat, 05 Jun 2010 08:02:39 +0200 Qpaper/regularization proof.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Jun 2010 08:02:39 +0200] rev 2209
Qpaper/regularization proof.
Sat, 05 Jun 2010 07:26:22 +0200 qpaper
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Jun 2010 07:26:22 +0200] rev 2208
qpaper
Wed, 02 Jun 2010 14:24:16 +0200 Qpaper/more.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Jun 2010 14:24:16 +0200] rev 2207
Qpaper/more.
Wed, 02 Jun 2010 13:58:37 +0200 Qpaper/Minor
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Jun 2010 13:58:37 +0200] rev 2206
Qpaper/Minor
Tue, 01 Jun 2010 15:58:59 +0200 added larry's quote
Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:58:59 +0200] rev 2205
added larry's quote
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
(0) -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 tip