From 5a716dcba201bdafe98d9292ed209ebab48614ef Mon Sep 17 00:00:00 2001
From: Christian Kissig <dev@kissig.fastmail.fm>
Date: Wed, 8 Nov 2023 18:36:24 +0000
Subject: [PATCH] [README] Add note about isabelle-emacs requirement

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index ff208f2..ddd7270 100644
--- a/README.md
+++ b/README.md
@@ -13,6 +13,10 @@ the "manual" way (requires `yarn` in your path):
 Plug 'ThreeFx/coc-isabelle', {'do': 'yarn install --frozen-lockfile'}
 ```
 
+This plugin requires the
+[`isabelle-emacs`](https://github.com/m-fleury/isabelle-emacs) fork of
+[Isabelle](https://isabelle.in.tum.de).
+
 Syntax highlighting and window layout is provided by
 [`isabelle.vim`](https://github.com/ThreeFx/isabelle.vim). Install it using your
 favorite (vim) package manager.