diff --git a/README.md b/README.md
index 9d7b67f..ee391eb 100644
--- a/README.md
+++ b/README.md
@@ -4,6 +4,8 @@ Security Research Team](https://logicalhacking.com):
 
 * **logicalhacking (theme):** An agnoster inspired prompt for zsh that, e.g., 
                               shows the current Isabelle environment. 
-
+* **Isabelle (plugin):**  A plug-in for the interactive theorem prover 
+                          Isabelle (command completion and a few helper 
+                          functions).
 ## License
-If not otherwise stated, all sub-projects are licensed under a MIT-style license.  
+If not otherwise stated, all sub-projects are licensed under a MIT-style license.