hyperbook release

[TLA Plus <tlapl...@xxxxxxxxx>]

I have just released a new version of the hyperbook.  The first six chapters are all either new or extensively rewritten.  I think that they now provide a much friendlier introduction to TLA+.  Check it out at

 

   http://research.microsoft.com/en-us/um/people/lamport/tla/hyperbook.html

 

Leslie