diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-30 21:01:06 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-30 21:06:38 +0200 |
commit | ff1cb6c2c355082076d99de1f560fa0c4bbcd86c (patch) | |
tree | 13a110248fd25cc8c9bcaae407c2ba89c65f6a43 /README.md | |
parent | 461417d3ecced06f67f8fd535e4028174069b3cc (diff) |
Add MELPA badge
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,6 +1,7 @@ # Proof General — Organize your proofs! [![Build Status](https://travis-ci.org/ProofGeneral/PG.svg?branch=master)](https://travis-ci.org/ProofGeneral/PG) +[![MELPA](http://melpa.org/packages/proof-general-badge.svg)](https://melpa.org/#/proof-general) ## Overview |