[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.