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