From 0a56875e33faf079ea99cb486842c7658811b50d Mon Sep 17 00:00:00 2001
From: Yutaka Ng <7411634+yutakang@users.noreply.github.com>
Date: Thu, 1 Apr 2021 12:42:52 +0800
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index f3b17207..3325b59a 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-- **Dear TACAS2021, reviewers, semantic_induct resides in PSL/SeLFiE. For revieweing, please refer to the accompanying artifact submission or [this release](https://github.com/data61/PSL/releases/tag/v0.2.0-alpha).**
 - *This is the development version of PSL, PaMpeR, LiFtEr, smart_induct, SeLFiE, and semantic_induct where we try out possibly immature ideas.*
+- *Note that this is compatible with [Isabelle2020](https://isabelle.in.tum.de/website-Isabelle2020/index.html). We will update this repository for Isabelle2021 soon.*
 
 # Smart_Isabelle