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
Mon, 22 Nov 2010 20:45:42 +0100 Christian Ebert Merge with default stable
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip