Re: [tlaplus] Re: (TLAPS) ptl_to_trp source code?

[Gianluca Guida <glg...@xxxxxxxxx>]

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.

Thanks,
Gianluca