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

I've been working on a TLA+ guide

From: Gary Price <garyb...@xxxxxxxxx>
Date: Wed, 29 Mar 2017 18:25:20 -0700 (PDT)
References: <79dddd92-7975-4c9c-b6a8-58fe18723b9f@googlegroups.com>

I have been finding this guide very useful.  Thanks for the effort.

References:
- I've been working on a TLA+ guide
  - From: Hillel Wayne

Prev by Date: Re: [tlaplus] Next release?
Next by Date: Unfolding macro definitions
Previous by thread: Re: [tlaplus] Re: I've been working on a TLA+ guide
Next by thread: Re: I've been working on a TLA+ guide
Index(es):
- Date
- Thread