Primarily I'm interested in the build of every commit of main that is uploaded to the 1.8.0. rolling prerelease; are those archived anywhere or just overwritten?
On Sunday, January 7, 2024 at 5:14:41 AM UTC+8 Markus Kuppe wrote:
How far back do you want to go? Github [1] has releases dating back to 2014 (Toolbox 1.4.8), and the content of the directory `plugins/org.lamport.tlatools` in any of the Toolbox zip files, is identical to the content found in `tla2tools.jar`. If you need older than 2014, I've just shared [2] my private builds of `tla2tools.jar`.
There are git tags for all the version between 1.3.1 and 1.8.0.
Markus
[1] https://github.com/tlaplus/tlaplus/releases
[2] https://tla.msr-inria.inria.fr/kuppe/TLC/
> On Jan 6, 2024, at 7:48 AM, Andrew Helwer <andrew...@xxxxxxxxx> wrote:
>
> The most recent tla2tools.jar build can be downloaded from the github release, but is there any place to download the historical versions, perhaps organized by commit hash?
>
> Andrew