From 95f9fe8090c2a1fc0bbcb9b8ec3b9a4a7c2f45ee Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Tue, 8 May 2018 08:52:45 +0200
Subject: try with triple backticks

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

diff --git a/README.md b/README.md
index 636fe265e0..5e4e566fce 100644
--- a/README.md
+++ b/README.md
@@ -7,12 +7,15 @@ How to write plugins in Coq
     - Example of function call to print a simple message.
     - To use it:
 
-<pre>
+```bash
     cd tuto0; make
     coqtop -I src -R theories Tuto0
-</pre>
+```
 
-    In the Coq session type:  `Require Tuto0.Loader. HelloWorld.`
+  In the Coq session type:
+```coq
+    Require Tuto0.Loader. HelloWorld.
+```
 
   # tuto1 : Ocaml to Coq communication
   Explore the memory of Coq, modify it
-- 
cgit v1.2.3