Currently the jar is coming from: https://github.com/FedericoPonzi/tlaplus-web
We need to either move that project or relevant bits in this repo and build it here as part of CI, or simply have releases on that project. As a followup, tlatools updates should trigger a tlaplus-web update which in turn should trigger a tla-by-example update.
Currently the jar is coming from: https://github.com/FedericoPonzi/tlaplus-web
We need to either move that project or relevant bits in this repo and build it here as part of CI, or simply have releases on that project. As a followup, tlatools updates should trigger a tlaplus-web update which in turn should trigger a tla-by-example update.