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

Re: Is tla+.jj up to date on github?

From: Raghav Boorgapally <rboorg...@xxxxxxxxx>
Date: Sun, 8 Apr 2018 19:59:23 -0700 (PDT)
References: <7c581e22-367f-4504-a7a1-1ab54f120d94@googlegroups.com> <f8732f64-3b36-4d85-9c33-5dfe62a11b1f@googlegroups.com>

Thanks Leslie!

References:
- Is tla+.jj up to date on github?
  - From: Raghav Boorgapally
- Re: Is tla+.jj up to date on github?
  - From: Leslie Lamport

Prev by Date: Re: Is tla+.jj up to date on github?
Next by Date: Re: Possible new language constructs for TLA+3?
Previous by thread: Re: Is tla+.jj up to date on github?
Next by thread: Best way to test a library?
Index(es):
- Date
- Thread