Fixed markdown.
This commit is contained in:
parent
3d63e7a2ef
commit
21c6a4f439
|
@ -6,8 +6,8 @@ Security Research Team](https://logicalhacking.com):
|
|||
* **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).
|
||||
Isabelle (command completion and a few helper functions).
|
||||
|
||||
## License
|
||||
|
||||
If not otherwise stated, all sub-projects are licensed under a MIT-style
|
||||
|
|
Loading…
Reference in New Issue