From 43f0ca5e990a648e4ecce493177943c5ec8a1784 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Winterhalter?= Date: Mon, 22 Jul 2024 15:36:38 +0200 Subject: [PATCH] Update README.md --- README.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/README.md b/README.md index e01b728..3cf06a7 100644 --- a/README.md +++ b/README.md @@ -13,9 +13,6 @@ When we prepared this supplementary material there was no Coq 8.18 version for this package so we provide instead the generated file directly in this repository. -**Note: The generated files include comments that are not anonymised. They are -however unrelated to the current submission and thus do not breach anonymity.** - In the event you would like to build the syntax files, you can checkout the `coq-8.13` branch of [Autosubst 2 OCaml] and run ```