From bef1641e0ec7285da7e6cd0cdc870775c69f0c46 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Tuong?=
 <tuong@users.noreply.github.com>
Date: Sat, 14 Dec 2019 18:54:27 +0000
Subject: [PATCH] update the generated files

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 80cc8ffbbf2..bb4469cc9a1 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›
-- 
GitLab