search

tlaplus / tlapm

The TLA Proof Manager
https://proofs.tlapl.us/
BSD 2-Clause "Simplified" License
65 stars 20 forks source link

Mark release 202210041448 as latest #117

Closed ahelwer closed 8 months ago

ahelwer commented 8 months ago

This is a minor change but it would be nice to mark release 202210041448 as latest. The only reason for this is then various scripts can download it from https://github.com/tlaplus/tlapm/releases/latest instead of having to store and type out the version number. Good preparation for rolling releases.

kape1395 commented 8 months ago

@muenchnerkindl, can we consider this release as the "best"? If yes, I can mark it as the latest.

muenchnerkindl commented 8 months ago

@kape1395 Sounds reasonable to me.

kape1395 commented 8 months ago

Done.