| Wed, 05 Mar 2014 14:19:54 +0100 | wenzelm | suppress short abbreviations more uniformly, for outer and quasi-outer syntax; | changeset | files |
| Wed, 05 Mar 2014 13:11:08 +0100 | wenzelm | clarified init_assignable: make double-sure that initial values are reset; | changeset | files |
| Wed, 05 Mar 2014 09:59:48 +0100 | wenzelm | proper UTF-8; | changeset | files |