From 131f0117ea9b629c424ea934e5e12f8413116c8c Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Mon, 29 Jul 2024 15:36:34 +0200
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 760655a..ba7850d 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 Provides browser support for running Lean in a Monaco editor.
 
-This package is based on the [VSCode extension
+This package uses the [VSCode extension
 "Lean 4"](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
 [Lean Infoview](https://www.npmjs.com/package/@leanprover/infoview).