[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Toolbox beta release with Unicode support
On Tuesday, March 20, 2018 at 9:12:10 AM UTC-3, Markus Alexander Kuppe wrote:
> On 19.03.2018 21:56, gabriel 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].
>
> Thanks
>
> Markus
>
> [1] https://github.com/tlaplus/tlaplus/issues/64
oh, I definitely missed that issue. Thanks!
Gabriel