From 33e6c6b925319eea83685174981db376008e3203 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 3 Jul 2016 19:51:28 +0200 Subject: Add Travis CI badge. --- README.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index f14a8a65..1d0091ba 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # Proof General — Organize your proofs! +[![Build Status](https://travis-ci.org/ProofGeneral/PG.svg?branch=master)](https://travis-ci.org/ProofGeneral/PG) + Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. -- cgit v1.2.3