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

Re: [tlaplus] TLAPS project status

From: "ka...@xxxxxxxxxxxxxxx" <ka...@xxxxxxxxxxxxxxx>
Date: Sun, 11 Oct 2015 19:40:51 -0700 (PDT)
References: <560D2931.1070007@cyber.ee> <9642A567-6F5F-4C76-87F9-CB253C31C5ED@gmail.com> <CAFGa14GmuzZgb8YFVHwt7F2RFgP0LMAJz8evO9vKduwkO=rw4A@mail.gmail.com> <560E2155.5090500@cyber.ee> <CAFGa14E=wF=wtYaijvVr_73V5zgb=X60Q_YcV6bqB0NQALQcEg@mail.gmail.com> <E55F1FFF-D618-4FB8-8FBD-7172D0CA25AD@gmail.com>

Nitpicking: <1>1 is not valid. Init could already set a > n.

Follow-Ups:
- Re: [tlaplus] TLAPS project status
  - From: Stephan Merz

References:
- TLAPS project status
  - From: Jaak Ristioja
- Re: [tlaplus] TLAPS project status
  - From: Stephan Merz
- Re: [tlaplus] TLAPS project status
  - From: Shaolintl .
- Re: [tlaplus] TLAPS project status
  - From: Jaak Ristioja
- Re: [tlaplus] TLAPS project status
  - From: Shaolintl .
- Re: [tlaplus] TLAPS project status
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] States Found vs Distinct States
Next by Date: Re: [tlaplus] TLAPS project status
Previous by thread: Re: [tlaplus] TLAPS project status
Next by thread: Re: [tlaplus] TLAPS project status
Index(es):
- Date
- Thread