https://github.com/leanprover/vscode-lean
Tip revision: 0c5aad69566fdebe25132c3f7933fb6eb895db3f authored by Marc Huisinga on 28 August 2024, 12:25:05 UTC
Update display name to reflect version and deprecation (#341)
Update display name to reflect version and deprecation (#341)
Tip revision: 0c5aad6
File | Mode | Size |
---|---|---|
.github | ||
.gitpod | ||
.vscode | ||
images | ||
infoview | ||
media | ||
src | ||
syntaxes | ||
test | ||
.eslintrc.js | -rw-r--r-- | 4.6 KB |
.gitignore | -rw-r--r-- | 54 bytes |
.gitpod.yml | -rw-r--r-- | 1.1 KB |
.vscodeignore | -rw-r--r-- | 128 bytes |
CHANGELOG.md | -rw-r--r-- | 63 bytes |
LICENSE | -rw-r--r-- | 9.9 KB |
README.md | -rw-r--r-- | 19.6 KB |
language-configuration.json | -rw-r--r-- | 3.1 KB |
package-lock.json | -rw-r--r-- | 138.6 KB |
package.json | -rw-r--r-- | 14.6 KB |
release.sh | -rwxr-xr-x | 670 bytes |
tsconfig.json | -rw-r--r-- | 558 bytes |
webpack.config.js | -rw-r--r-- | 2.8 KB |