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