Tue, 22 Mar 2011 14:22:40 +0100 | wenzelm | datatype case_tr: strip positions -- type constraints are unexpected despite the "any" category in "case_syn"; | changeset | files |
Tue, 22 Mar 2011 13:55:39 +0100 | wenzelm | tuned indendation and parentheses; | changeset | files |
Tue, 22 Mar 2011 13:32:20 +0100 | wenzelm | support for encoded positions (for id_position, longid_position) as pseudo type-constraints -- still inactive; | changeset | files |
Tue, 22 Mar 2011 11:14:33 +0100 | wenzelm | pretty_string: proper handling of negative max_len; | changeset | files |
Mon, 21 Mar 2011 23:38:32 +0100 | wenzelm | added Lexicon.encode_position, Lexicon.decode_position; | changeset | files |
Mon, 21 Mar 2011 21:16:39 +0100 | wenzelm | tuned; | changeset | files |
Mon, 21 Mar 2011 21:05:08 +0100 | wenzelm | tuned; | changeset | files |