| Thu, 06 Mar 2014 14:38:54 +0100 | wenzelm | eliminated odd type constraint for read_const (see also 79c1d2bbe5a9); | changeset | files |
| Thu, 06 Mar 2014 13:44:01 +0100 | wenzelm | more uniform check_const/read_const; | changeset | files |
| Thu, 06 Mar 2014 12:58:51 +0100 | wenzelm | tuned; | changeset | files |