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

Re: hyperbook release

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Tue, 18 Aug 2015 18:34:56 -0700 (PDT)
References: <CAAWQ4M6ERVUFZtW96njcOaByPUkwxbUfnX+g48q2FsY20dYShQ@mail.gmail.com>

The 19 August 2015 release of the TLA+ Hyperbook is now available here.

References:
- hyperbook release
  - From: TLA Plus

Prev by Date: Re: [tlaplus] Some feedback from a new user
Next by Date: Re: [tlaplus] Some feedback from a new user
Previous by thread: Re: hyperbook release
Next by thread: Blog post that uses TLA+ in a debate about properties of system designs
Index(es):
- Date
- Thread