[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] New release: TLAPS version 1.4.3
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
Thanks for reporting the problem and for publishing the workaround.
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
> 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 .
> -- Damien Doligez
>  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.