Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Latest release is 1.5.4 from over a year ago; there have been lots of changes; Need a new release #262

Closed
JoshuaRowePhantom opened this issue May 28, 2022 · 8 comments

Comments

@JoshuaRowePhantom
Copy link
Contributor

Should a new release be published soon? Or is there a link to how to install the latest version?

I discovered this when attempting to use the ALIAS keyword in a .cfg file. I see the feature was checked in 6 months ago to the repository, but it's not showing up in my code completion.

@lemmy
Copy link
Member

lemmy commented May 28, 2022

You can install the nighty/latest VSCode extension (with a recent snapshot of TLC) from https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus-nightly.

@JoshuaRowePhantom
Copy link
Contributor Author

Excellent! Can we put this on the front page?

@lemmy
Copy link
Member

lemmy commented May 28, 2022

It is the fourth button on the top row of Readme.md (932a0f6). Can you open a PR that better highlights the nightly release in the Readme.md?

@JoshuaRowePhantom
Copy link
Contributor Author

I went to go update the Wiki; I think maybe I need to be a contributor to do so?

Anyway, the directions I saw and followed were at https://github.com/tlaplus/vscode-tlaplus/wiki/How-to-Install.

@JoshuaRowePhantom
Copy link
Contributor Author

#263

@lemmy
Copy link
Member

lemmy commented May 28, 2022

I went to go update the Wiki; I think maybe I need to be a contributor to do so?

You should have received an invite to join the project.

@lemmy
Copy link
Member

lemmy commented Dec 20, 2023

Related: #318

@lemmy
Copy link
Member

lemmy commented Oct 7, 2024

Done (see new marketplace organization)

@lemmy lemmy closed this as completed Dec 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

No branches or pull requests

2 participants