From 3a22332f02afe46632282f2b6832b2bab8e376a7 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 16 Oct 2023 10:50:00 +0200 Subject: [PATCH] Fix typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 0d93b03d..191e9244 100644 --- a/README.md +++ b/README.md @@ -135,7 +135,7 @@ After installation and activation of the extension: * `"vscoq.completion.algorithm": StructuredSplitUnification | SplitTypeIntersection` -- Which completion algorithm to use * `"vscoq.completion.unificationLimit": int` -- Sets the limit for how many theorems unification is attempted -## For extension developpers +## For extension developers See [Dev docs](https://github.com/coq-community/vscoq/blob/main/docs/developers.md) ## License