From 842dd77d4db40a03cfb389e3805789926ed18b74 Mon Sep 17 00:00:00 2001
From: Yutaka Ng <7411634+yutakang@users.noreply.github.com>
Date: Sun, 4 Apr 2021 22:52:43 +0800
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 20453525..da8ad242 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,7 @@
 - We updated this repository to Isabelle2021.
 - LiFtEr and Smart_Induct are no-longer supported, since their successors, SeLFiE and sem_ind, have shown superior performance.
 - This is the development version of PSL, PaMpeR, SeLFiE, and sem_ind where we try out possibly immature ideas. In case you find problems, please send your feedback.
+- The main developer of this repository, Yutaka Ng, has taken a full-time position for the [SuSLik](https://github.com/TyGuS/suslik) project at Yale-NUS, and he will work on [PSL and all that](https://github.com/data61/PSL/) only in his spare time. Therefore, the progress of this project, unfortunately, will be slow for the foreseeable future. In case you find problems and requests about data61/PSL, contact Yutaka Ng (email: yutaka.nagashima@cvut.cz, twitter: [YutakangE](https://twitter.com/YutakangE)).
 
 # Smart_Isabelle