diff --git a/README.md b/README.md
index 80cc8ffbbf2970e7282517e6d504f1b05b437298..bb4469cc9a1c381c9b4ec3d801f57f248de14750 100644
--- a/README.md
+++ b/README.md
@@ -12,8 +12,6 @@ of two possibly interchangeable parsers (from two different projects):
   🌐‹https://github.com/jhjourdan/C11parser›
 
 At present, the recommended and default version is C11.
-
-Isabelle/C requires Isabelle2019.
 ›
 
 section ‹Getting started›