diff --git a/README.md b/README.md index 2a1cd41..9d7b67f 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,9 @@ # logicalhacking-zsh +Varous add-ons for zsh that are useful for members of the [Software Assurance & +Security Research Team](https://logicalhacking.com): +* **logicalhacking (theme):** An agnoster inspired prompt for zsh that, e.g., + shows the current Isabelle environment. + +## License +If not otherwise stated, all sub-projects are licensed under a MIT-style license.