Update README.md

atlanmod · Jun 25, 2020 · 6cbea52 · 6cbea52
1 parent 54f0e49
commit 6cbea52
Showing 1 changed file with 6 additions and 2 deletions.
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
 ------