Sat, 11 Jan 2014 20:06:31 +0100 check_hyps for attribute application (still inactive, due to non-compliant tools);
wenzelm [Sat, 11 Jan 2014 20:06:31 +0100] rev 54993
check_hyps for attribute application (still inactive, due to non-compliant tools); bypass check_hyps for locale expressions, where assumptions are not necessarily declared in intermediate situations;
Sat, 11 Jan 2014 17:05:03 +0100 clarified context;
wenzelm [Sat, 11 Jan 2014 17:05:03 +0100] rev 54992
clarified context;
Sat, 11 Jan 2014 14:34:11 +0100 clarified context;
wenzelm [Sat, 11 Jan 2014 14:34:11 +0100] rev 54991
clarified context;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip