From f84033e7388cbd1c6cd3b798c600f74558de327c Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Thu, 7 May 2020 00:32:59 +0200
Subject: [PATCH] Updated header description in README.md

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

diff --git a/README.md b/README.md
index e507b5f..64a999f 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,8 @@
 # ACTRIS COQ DEVELOPMENT
 
-This directory contains the artifact for the paper "Actris: Session Type
-Based Reasoning in Separation Logic".
+This directory contains the Coq mechanisation of the Actris framework,
+first presented in the paper
+"Actris: Session Type Based Reasoning in Separation Logic".
 
 It has been built and tested with the following dependencies
 
-- 
GitLab