From d77fc23f93f8aad0345b627af00804c5f550a376 Mon Sep 17 00:00:00 2001
From: Yutaka Ng <7411634+yutakang@users.noreply.github.com>
Date: Mon, 27 Jan 2020 00:23:56 +0100
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 9a7aac6f..0e3c2226 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,7 @@
-- *New!* The directory `LiFtEr` contains a working prototype of our domain-specific language to implement induction heuristics.
+Dear IJCAR reviewers,
+Please have a look at the release (v0.1.5-alpha) indicated in the paper.
+We are often experimenting new (dangerou) ideas in the master branch in GitHub.
+Our running example explained in the paper resides in PSL/Smart_Induct/Example/Induction_Demo.thy.
 
 # PSL