From f5b772c0b299442ff730a3ee3064897ea62c1cec Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Tue, 8 May 2018 08:58:07 +0200
Subject: problems with bullet lists

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

diff --git a/README.md b/README.md
index 5e4e566fce..94a0b9da34 100644
--- a/README.md
+++ b/README.md
@@ -3,9 +3,9 @@ How to write plugins in Coq
   # Working environment : merlin, tuareg (open question)
   # tuto0 : basics of project organization
   package a ml4 file in a plugin, organize a `Makefile`, `_CoqProject`
-    - Example of syntax to add a new toplevel command
-    - Example of function call to print a simple message.
-    - To use it:
+  - Example of syntax to add a new toplevel command
+  - Example of function call to print a simple message.
+  - To use it:
 
 ```bash
     cd tuto0; make
-- 
cgit v1.2.3