[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Macros with PlusCal and Toolbox
Removing the old translation is never necessary to run the translator. However, note that module-editor window must be selected (by clicking on it) in order to run the translator. By default, saving the module runs the parser. If the old translation produced a parsing error, this will leave the parser-error window selected.