Releases: tlaplus/CommunityModules
Releases · tlaplus/CommunityModules
202002281820
Switch from TLAPS 1.4.3 to 1.4.5.
202002280123
Add two theorems about transitivity of Append/Tail and IsInjective.
202002272046
Align SequenceExtTheorems with SequenceExtTheorems_proofs
202002271956
Include modules in TLAPS library path
202002271947
Add two theorems about transitivity of Append/Tail and IsInjective.
202002121931
Unexpected TAB character. TLAPS does not handle TAB characters in source files.
202002110013
git stage is sometimes difficult to get right.
202002102301
Bump java dependency to 9.x
202002101658
How is it possible that the Github action ran 17 days ago but the main.yml file is not yet part of the repository?!
202001241844
Switch from Azure Pipeline to Github Actions. Minimize infrastructure dependencies.