Collection of zsh plugins and themes for members of the logicalhacking team.
Go to file
Achim D. Brucker f56e2a7b9e Use POSIX-compliant method to find isabelle command. 2021-08-20 22:35:24 +01:00
plugins/isabelle Added SPDIX license identifier. 2017-12-04 22:50:11 +00:00
themes Use POSIX-compliant method to find isabelle command. 2021-08-20 22:35:24 +01:00
LICENSE Initial commit. 2017-07-01 06:28:38 +01:00
README.md Fixed markdown. 2018-07-30 14:10:08 +01:00
logicalhacking.zsh Added SPDIX license identifier. 2017-12-04 22:50:11 +00:00

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.