[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 14eb90d084: docs(README.md): Add documentati
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general 14eb90d084: docs(README.md): Add documentation badges |
Date: |
Wed, 3 Aug 2022 12:59:08 -0400 (EDT) |
branch: elpa/proof-general
commit 14eb90d084cf90dd722996e5ad4d285afa052f54
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
docs(README.md): Add documentation badges
---
README.md | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/README.md b/README.md
index f05ae17294..2b19f472d3 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,9 @@
[![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)
+[![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")
+[![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")
## Overview
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/proof-general 14eb90d084: docs(README.md): Add documentation badges,
ELPA Syncer <=