From 2e186b08c2f94516e046b16d2f542cdadcf21815 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 28 Mar 2017 15:34:27 +0200
Subject: [readme] Add badges for Travis and Gitter.

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

diff --git a/README.md b/README.md
index a41ee7cc07..867951b7a5 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,7 @@
 # Coq
+
+[![Coq 8.7~alpha](https://travis-ci.org/coq/coq.svg?branch=trunk)](https://travis-ci.org/coq/coq) [![Gitter](https://badges.gitter.im/coq/coq.svg)](https://gitter.im/coq/coq)
+
 Coq is a formal proof management system. It provides a formal language to write
 mathematical definitions, executable algorithms and theorems together with an
 environment for semi-interactive development of machine-checked proofs.
-- 
cgit v1.2.3