[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Toolbox beta release with Unicode support
On Tuesday, August 15, 2017 at 3:05:00 PM UTC-3, Markus Alexander Kuppe wrote:
> Hi all,
> Ron Pressler contributed Unicode support to the TLAToolbox.
> Unicode support makes it possible to render TLA+ with Unicode
> characters. We believe Unicode support to improve readability
> especially for new users due to the more familiar syntax.
> Unicode support works for all Toolbox windows: the TLA+ editor,
> the Model Editor and the Error Trace. See the screenshot below
> which show the TLA+ editor and the Error Trace with Unicode
> support enabled. Unicode support works at the UI level only and
> can be easily toggled via the File> "Use Unicode" menu entry.
> Your .tla files do not get rewritten with Unicode characters. When
> typing with Unicode support enabled, ASCII input is converted to
> Unicode on-the-fly. You do not have to type Unicode.
> The Unicode support required significant changes in the Toolbox
> code base and although the feature appears solid, we think it is
> best to initially release a beta version. Once we will have
> gathered sufficient feedback from the beta testers, we will
> incorporate Unicode support into the regular Toolbox release. This
> is why the download link at https://tla2.msr-inria.inria.fr/unicode/
> wants you to enter an email address with which we might eventually
> solicit feedback. We will not use your email address for any other
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)