Update README.md

data61 · Jan 26, 2020 · d77fc23 · d77fc23
1 parent 44a91fe
commit d77fc23
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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