Achim D. Brucker 23b8224415 | ||
---|---|---|
themes | ||
LICENSE | ||
README.md |
README.md
logicalhacking-zsh
Varous add-ons for zsh that are useful for members of the Software Assurance & Security Research Team:
- 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.