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

Re: [tlaplus] TLA+ for beginners

On 25.11.2016 14:11, Abay wrote:
> I downloaded the TLA+ toolbox, but there I could not find, for
> example, "create new project" option in menu bar.

Hi Abay,

I've made a very basic TLA+ Toolbox for Beginners screencast [1] to help
you get started.


[1] https://vimeo.com/193107865