Re: [tlaplus] Historical tla2tools.jar rolling builds

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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.helwer@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

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/B45E6A59-8B78-44E6-92BD-A157E328C02A%40lemmster.de.