From e02788b2c551cb6ad629761d97fdad6699b368dc Mon Sep 17 00:00:00 2001 From: Marc Huisinga Date: Wed, 28 Aug 2024 14:23:03 +0200 Subject: [PATCH] Update display name to reflect version and deprecation --- README.md | 4 ++-- package.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 8de3a60..93ebd8b 100644 --- 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 index 262c28f..37ea007 100644 --- 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",