Hi ! What's the use of the
(kill-all-local-variables) at the beginning of tla-inventory-mode? This may be usefull for a mode like a programming language mode that can be called to replace a previously running mode in the same buffer, but for tla specific buffers mode, I think it's useless because the function is always called in a newly created buffer. There used to be a lot of such function call that I had to remove because it broke some other code (setting local variables before calling the *-mode function). So, is this function really usefull? -- Matthieu
