Added description of Isabelle plugin.
This commit is contained in:
parent
af91d6faa3
commit
12ea913eb6
|
@ -4,6 +4,8 @@ Security Research Team](https://logicalhacking.com):
|
||||||
|
|
||||||
* **logicalhacking (theme):** An agnoster inspired prompt for zsh that, e.g.,
|
* **logicalhacking (theme):** An agnoster inspired prompt for zsh that, e.g.,
|
||||||
shows the current Isabelle environment.
|
shows the current Isabelle environment.
|
||||||
|
* **Isabelle (plugin):** A plug-in for the interactive theorem prover
|
||||||
|
Isabelle (command completion and a few helper
|
||||||
|
functions).
|
||||||
## License
|
## License
|
||||||
If not otherwise stated, all sub-projects are licensed under a MIT-style license.
|
If not otherwise stated, all sub-projects are licensed under a MIT-style license.
|
||||||
|
|
Loading…
Reference in New Issue