Sun, 16 May 2010 11:00:44 +0100 Christian Urban tuned paper
Sat, 15 May 2010 22:06:06 +0100 Christian Urban tuned paper
Fri, 14 May 2010 21:18:34 +0100 Christian Urban tuned a bit the paper
Fri, 14 May 2010 18:12:07 +0100 Christian Urban started a new file for the parser to make some experiments
Fri, 14 May 2010 17:58:26 +0100 Christian Urban moved old parser and fv into attic
Fri, 14 May 2010 17:40:43 +0100 Christian Urban polished example
Fri, 14 May 2010 15:21:05 +0100 Christian Urban merged
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip