Masatake YAMATO <[EMAIL PROTECTED]> writes: > (6) > (6.1) tla-toggle-edit-cmd-flag => no function. The definition is deleted?
That function did never exist. I planned to implement something like that to give the user a change to edit the next arch command. This should make it possible to specify uncommon arguments. Perhaps we could integrate something like this in the new tla--run-tla-(a)sync commands? -- Stefan.
