From 6cbea525ec1cbdd6b95ed3fa624e831797093871 Mon Sep 17 00:00:00 2001
From: Zheng Cheng <cz0590@gmail.com>
Date: Thu, 25 Jun 2020 15:11:38 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index ea4ff599..bd7a2fbd 100644
--- a/README.md
+++ b/README.md
@@ -11,8 +11,12 @@ Repository structure
 
 Requirements
 ------
-* CoqTL - **Coq v.8.11.1**.
-* EMF2Coq code generator - **EMF v.2.12** and **XTEND v.2.10**.
+CoqTL
+* **Coq v.8.11.1**
+
+EMF2Coq Code Generator
+* **EMF v.2.12** 
+* **XTEND v.2.10**
 
 Contacts
 ------