Achim D. Brucker
||3 months ago|
|plugins/isabelle||4 years ago|
|themes||3 months ago|
|LICENSE||4 years ago|
|README.md||3 years ago|
|logicalhacking.zsh||4 years ago|
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).
If not otherwise stated, all sub-projects are licensed under a MIT-style license.
The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/adbrucker/logicalhacking-zsh.