You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
2 years ago | |
---|---|---|
plugins/isabelle | 5 years ago | |
themes | 2 years ago | |
LICENSE | 6 years ago | |
README.md | 5 years ago | |
logicalhacking.zsh | 5 years ago |
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.
- 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.
SPDX-License-Identifier: MIT
Master Repository
The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/adbrucker/logicalhacking-zsh.