From ce4cadec9fc46eea4420d90313cfd2886f6d1c4f Mon Sep 17 00:00:00 2001
From: Marc Huisinga <mhuisi@protonmail.com>
Date: Wed, 28 Aug 2024 11:46:15 +0200
Subject: [PATCH] chore: change extension display name

---
 vscode-lean4/package.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
index 28683d9cf..7ec8b1fe3 100644
--- a/vscode-lean4/package.json
+++ b/vscode-lean4/package.json
@@ -1,6 +1,6 @@
 {
     "name": "lean4",
-    "displayName": "lean4",
+    "displayName": "Lean 4",
     "description": "Lean 4 language support for VS Code",
     "version": "0.0.176",
     "publisher": "leanprover",
@@ -13,6 +13,7 @@
     "keywords": [
         "Lean",
         "Lean 4",
+        "lean4",
         "Theorem Provers",
         "InfoView"
     ],