[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Toolbox beta release with Unicode support

On 19.03.2018 21:56, gabri...@xxxxxxxxx wrote:
> With the intention of just give some feedback on this I'd like to note that I  miss Unicode support in the last toolbox release (i.e. 1.5.6)

Hi Gabriel,

Unicode supported introduced regressions in the Toolbox which is why we
reverted it [1].



[1] https://github.com/tlaplus/tlaplus/issues/64