Sun, 11 Mar 2012 13:54:08 +0100 wenzelm eliminated old-fashioned 'constrains' element;
Sun, 11 Mar 2012 13:39:16 +0100 wenzelm modernized locale expression, with some fluctuation of arguments;
Sat, 10 Mar 2012 23:45:47 +0100 wenzelm simplified span class in conformance to Scala version;
Sat, 10 Mar 2012 23:28:42 +0100 wenzelm discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
Sat, 10 Mar 2012 23:00:32 +0100 wenzelm merged
Sat, 10 Mar 2012 16:39:55 +0100 bulwahn adding tags to quickcheck's result
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip