| Thu, 06 Mar 2014 17:37:32 +0100 | wenzelm | more decisive commitment to get_free vs. the_const; | changeset | files |
| Thu, 06 Mar 2014 16:33:48 +0100 | wenzelm | more rigid const demands, based on educated guesses about the tools involved here; | changeset | files |
| Thu, 06 Mar 2014 16:24:47 +0100 | wenzelm | more compact Markup.markup_report: message body may consist of multiple elements; | changeset | files |
| Thu, 06 Mar 2014 16:12:26 +0100 | wenzelm | reject internal term names outright, and complete consts instead; | changeset | files |
| 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 |