diff options
| author | Erik Martin-Dorel | 2018-08-30 21:01:06 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 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! [](https://travis-ci.org/ProofGeneral/PG) +[](https://melpa.org/#/proof-general) ## Overview |