Update README.md

veriatl · web-flow · commit 6cbea525ec1c · 2020-06-25T15:11:38.000+02:00
diff --git 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
 ------
