Re: [tlaplus] New release: TLAPS version 1.4.3

[Damien Doligez <damien....@xxxxxxxx>]

Dear Balint,

I asked our network guys, this problem was caused by a hardware failure in
some equipment at our ISP. They repaired it and everything is back to normal
now.

Thanks for reporting the problem and for publishing the workaround.

-- Damien



On 2015-12-01, at 04:23, Bálint Pató wrote:

> Dear Damien,
> 
> it seems that from New York, at least in the last couple of days, the download links on the main TLAPS page (e.g.: https://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries/MacOS.html) are incredibly slow, or unavailable, not sure what could be the reason, but I thought I'd let you know, and if anyone wants to download TLAPS, the Codeplex links work: https://tlaps.codeplex.com/releases
> 
> Cheers,
> Balint
> 
> On Monday, 15 June 2015 18:53:35 UTC-4, damien.doligez wrote:
> Dear users, 
> 
> We have released a new version (1.4.3) of TLAPS. This version contains 
> a good number of bug fixes, but no new feature. We expect that proofs 
> made with the previous version will still work with this one. 
> 
> Please report any problems through the CodePlex bug tracker [1]. 
> 
> -- Damien Doligez 
> 
> [1] https://tlaps.codeplex.com/workitem/list/basic?size=2147483647 
> 
> -- 
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> Visit this group at http://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.