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

Re: [tlaplus] TLA+ for beginners

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Fri, 25 Nov 2016 23:33:41 +0100
References: <15be685c-4372-4004-adc7-91dbef9ace52@googlegroups.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0

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.

Cheers
Markus

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

Follow-Ups:
- Re: [tlaplus] TLA+ for beginners
  - From: Markus Alexander Kuppe

References:
- TLA+ for beginners
  - From: Abay

Prev by Date: Re: TLA+ for beginners
Next by Date: Re: [tlaplus] TLA+ for beginners
Previous by thread: Re: TLA+ for beginners
Next by thread: Re: [tlaplus] TLA+ for beginners
Index(es):
- Date
- Thread