From 0ad8d1fed7cd728c1ed08d99c43d88e3c5335075 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 23 May 2020 15:47:00 +0100
Subject: [PATCH] Fixed URLs.

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index d3e3a1c..44b1f89 100644
--- a/README.md
+++ b/README.md
@@ -31,13 +31,13 @@ SPDX-License-Identifier: BSD-3-Clause
 
 The master git repository for this project is hosted by the [Software
 Assurance & Security Research Team](https://logicalhacking.com) at
-<https://git.logicalhacking.com/afp-mirror/Stateful_Protocol_Composition_and_Typing.html>.
+<https://git.logicalhacking.com/afp-mirror/Stateful_Protocol_Composition_and_Typing>.
 
 ## Publications
 
 * Andreas V. Hess, Sebastian Mödersheim, and Achim D. Brucker. Stateful
   Protocol Composition and Typing. In Archive of Formal Proofs, 2020. 
-  http://www.isa-afp.org/entries/tateful_Protocol_Composition_and_Typing.html, 
+  <http://www.isa-afp.org/entries/tateful_Protocol_Composition_and_Typing.html>, 
   Formal proof development
 * Andreas V. Hess, Sebastian A. Mödersheim, and Achim D. Brucker. Stateful 
   Protocol Composition. In ESORICS. Lecture Notes in Computer Science (11098),