Tue, 27 Apr 2010 12:23:06 +0200 Christian Urban more polishing on the paper
Mon, 26 Apr 2010 20:19:42 +0200 Christian Urban merged
Mon, 26 Apr 2010 20:17:41 +0200 Christian Urban some changes to the paper
Mon, 26 Apr 2010 13:08:14 +0200 Christian Urban rewrote eqvts_raw to be a symtab, that can be looked up
Mon, 26 Apr 2010 10:01:13 +0200 Cezary Kaliszyk merge ???
Wed, 21 Apr 2010 12:25:52 +0200 Cezary Kaliszyk infix for In
Mon, 26 Apr 2010 08:19:11 +0200 Christian Urban eliminated command so that all compiles
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip