Update display name to reflect version and deprecation

leanprover · Aug 28, 2024 · e02788b · e02788b
1 parent a0764d7
commit e02788b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
-# Lean 3 for VS Code
+# Lean 3 for VS Code (deprecated)
 
-This extension adds support for an older version of Lean, [Lean 3](https://github.com/leanprover/lean). It is succeeded by [vscode-lean4](https://github.com/leanprover/vscode-lean4) (also called `lean4` in the extensions menu) for [Lean 4](https://github.com/leanprover/lean4). If you want to use [Lean 4](https://github.com/leanprover/lean4), you cannot use this extension and must instead use [vscode-lean4](https://github.com/leanprover/vscode-lean4).
+This extension adds support for an older version of Lean, [Lean 3](https://github.com/leanprover/lean). It is succeeded by [vscode-lean4](https://github.com/leanprover/vscode-lean4) (also called `Lean 4` in the extensions menu) for [Lean 4](https://github.com/leanprover/lean4). If you want to use [Lean 4](https://github.com/leanprover/lean4), you cannot use this extension and must instead use [vscode-lean4](https://github.com/leanprover/vscode-lean4).
 
 ## Features
 

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
 	"name": "lean",
-	"displayName": "lean",
+	"displayName": "Lean 3 (deprecated)",
 	"description": "Lean 3 language support for VS Code",
 	"version": "0.16.59",
 	"publisher": "jroesch",