https://github.com/leanprover/vscode-lean
Tip revision: 1589ca3a65e394b3789409707febbd2d166c9344 authored by Marc Huisinga on 17 September 2023, 00:43:21 UTC
Update README to reflect that extension is for Lean 3 (#339)
Update README to reflect that extension is for Lean 3 (#339)
Tip revision: 1589ca3
| 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.5 KB |
| release.sh | -rwxr-xr-x | 670 bytes |
| tsconfig.json | -rw-r--r-- | 558 bytes |
| webpack.config.js | -rw-r--r-- | 2.8 KB |
