docs(README.md): Update badges (#676)

ProofGeneral · Nov 14, 2022 · d1bbf22 · d1bbf22
1 parent ef18ee4
commit d1bbf22
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,11 +1,12 @@
 # Proof General — Organize your proofs! 
 
 [![CI](https://github.com/ProofGeneral/PG/workflows/CI/badge.svg?branch=master)](https://github.com/ProofGeneral/PG/actions?query=workflow%3ACI)
-[![NonGNU ELPA](https://elpa.nongnu.org/nongnu/proof-general.svg)](https://elpa.nongnu.org/nongnu/proof-general.html)
 [![MELPA](https://melpa.org/packages/proof-general-badge.svg)](https://melpa.org/#/proof-general)
-[![MELPA Stable](https://stable.melpa.org/packages/proof-general-badge.svg)](https://stable.melpa.org/#/proof-general)  
-[![ProofGeneral doc](https://img.shields.io/badge/doc-Proof%20General%20user%20manual-blue.svg)](https://proofgeneral.github.io/doc/master/userman/ "The ProofGeneral user manual")
+[![NonGNU-devel ELPA](https://elpa.nongnu.org/nongnu-devel/proof-general.svg)](https://elpa.nongnu.org/nongnu-devel/proof-general.html)  
+[![ProofGeneral doc](https://img.shields.io/badge/doc-Proof%20General%27s%20user%20manual-blue.svg)](https://proofgeneral.github.io/doc/master/userman/ "The ProofGeneral user manual")
 [![PG-adapting doc](https://img.shields.io/badge/doc-PG--adapting-blue.svg)](https://proofgeneral.github.io/doc/master/adaptingman/ "PG's adapting manual to add provers")
+[![MELPA Stable](https://stable.melpa.org/packages/proof-general-badge.svg)](https://stable.melpa.org/#/proof-general)
+[![NonGNU ELPA](https://elpa.nongnu.org/nongnu/proof-general.svg)](https://elpa.nongnu.org/nongnu/proof-general.html)
 
 ## Overview