Wed, 18 Aug 2010 16:39:05 +0200 | blanchet | fix the relevance filter so that it ignores If, Ex1, Ball, Bex | changeset | files |
Wed, 18 Aug 2010 16:33:34 +0200 | blanchet | tuning | changeset | files |
Fri, 20 Aug 2010 15:29:36 +0200 | wenzelm | reactivated -segprot options, just to make double-sure; | changeset | files |