2017-07-01 05:28:38 +00:00
|
|
|
# logicalhacking-zsh
|
2018-03-26 06:17:34 +00:00
|
|
|
|
2017-07-15 15:36:12 +00:00
|
|
|
Varous add-ons for zsh that are useful for members of the [Software Assurance &
|
|
|
|
Security Research Team](https://logicalhacking.com):
|
2017-07-01 05:28:38 +00:00
|
|
|
|
2017-07-15 15:36:12 +00:00
|
|
|
* **logicalhacking (theme):** An agnoster inspired prompt for zsh that, e.g.,
|
2018-07-30 13:10:08 +00:00
|
|
|
shows the current Isabelle environment.
|
2017-07-18 02:56:22 +00:00
|
|
|
* **Isabelle (plugin):** A plug-in for the interactive theorem prover
|
2018-07-30 13:10:08 +00:00
|
|
|
Isabelle (command completion and a few helper functions).
|
|
|
|
|
2017-07-15 15:36:12 +00:00
|
|
|
## License
|
2018-03-26 06:17:34 +00:00
|
|
|
|
|
|
|
If not otherwise stated, all sub-projects are licensed under a MIT-style
|
|
|
|
license.
|
|
|
|
|
|
|
|
SPDX-License-Identifier: MIT
|
|
|
|
|
2018-04-12 18:29:53 +00:00
|
|
|
## Master Repository
|
|
|
|
|
|
|
|
The master git repository for this project is hosted by the [Software
|
|
|
|
Assurance & Security Research Team](https://logicalhacking.com) at
|
2018-05-02 18:13:56 +00:00
|
|
|
<https://git.logicalhacking.com/adbrucker/logicalhacking-zsh>.
|
2018-04-12 18:29:53 +00:00
|
|
|
|