Wed, 28 Aug 2019 22:59:49 +0200 | wenzelm | support for share_common_data after define_command and before actual update: this affects string particles of command tokens; | changeset | files |
Wed, 28 Aug 2019 10:18:50 +0200 | wenzelm | more scalable -- less ML heap requirements; | changeset | files |
Wed, 28 Aug 2019 10:13:32 +0200 | wenzelm | tuned whitespace; | changeset | files |
Wed, 28 Aug 2019 19:19:17 +0200 | ballarin | Integrate locale activation fallback diagnostics with 'trace_locales'. | changeset | files |