[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

New release: TLAPS version 1.4.3

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