diff --git a/README.md b/README.md index cd88c85..98d0f60 100644 --- a/README.md +++ b/README.md @@ -4,10 +4,10 @@ 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. + shows the current Isabelle environment. * **Isabelle (plugin):** A plug-in for the interactive theorem prover - Isabelle (command completion and a few helper - functions). + Isabelle (command completion and a few helper functions). + ## License If not otherwise stated, all sub-projects are licensed under a MIT-style