Hi, I uploaded lmtx, with a few fixes (like size in math fences) and additions (like a language key in highlights). However, the most intrusive change is that we also do some overload protection (currently configured as warning) on values, so for instance some (primitive) token lists and parameters are now protected against overloads. So, we already had protection at the \cs level, now we also have at the value level (\count<n> etc). Think: \permanent\def\foo{...} % \foo can't be redefined \newcount\mycounter % \mycounter is defined permanent by default \immutable\mycounter 123 % \mycounter can't be changed (@ user level) and alike. This second feature is mostly for deep-down definitions and usage. In the future some more quantities might get that level of protection. Just for the record, this is also supposed to be active at the lua level. In a similar fashion we have (already) some protection for callback abuse in place. The additional overhead can be neglected. It can be that we have some unforeseen side effects but the test suite runs ok as do some of mikaels more complex and demanding documents (that we use to test this). Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------