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

Re: hyperbook release

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Wed, 27 Nov 2013 17:36:53 -0800 (PST)
References: <CAAWQ4M6ERVUFZtW96njcOaByPUkwxbUfnX+g48q2FsY20dYShQ@mail.gmail.com>

I have just released another version of the TLA+ hyperbook .

References:
- hyperbook release
  - From: TLA Plus

Prev by Date: hyperbook release
Next by Date: teaching TLA
Previous by thread: hyperbook release
Next by thread: Re: hyperbook release
Index(es):
- Date
- Thread