From 21c6a4f439b7f65af8ba5e60e392202285f68824 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 30 Jul 2018 14:10:08 +0100 Subject: [PATCH] Fixed markdown. --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index cd88c85..98d0f60 100644 --- a/README.md +++ b/README.md @@ -4,10 +4,10 @@ Varous add-ons for zsh that are useful for members of the [Software Assurance & Security Research Team](https://logicalhacking.com): * **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). + Isabelle (command completion and a few helper functions). + ## License If not otherwise stated, all sub-projects are licensed under a MIT-style