Thu, 02 Dec 2010 09:41:56 +0100 Christian Ebert Merge with stable
Mon, 22 Nov 2010 18:15:58 +0100 Martin Geisler code style: prefer 'is' and 'is not' tests with singletons stable
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip