[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: (TLAPS) ptl_to_trp source code?
On Wed, Apr 22, 2015 at 7:51 PM, Leslie Lamport <tlapl...@xxxxxxxxx> wrote:
> There have been recent problems with the msr-inria web site. They are
> probably the cause of the "not found" error you encountered. The issue has
> been reported and I hope will be resolved soon.
Yes, I did notice some problems with the msr-inria web site earlier
today. It does seem to be fine, right now.