emacs-elpa-diffs
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] elpa/proof-general updated (c366365aad -> e06a7704a5)

From: ELPA Syncer
Subject: [nongnu] elpa/proof-general updated (c366365aad -> e06a7704a5)
Date: Thu, 14 Jul 2022 07:58:53 -0400 (EDT) 
elpasync pushed a change to branch elpa/proof-general.

      from  c366365aad chore: Prepare the 4.5 release
       new  7f032add3a chore: Prepare new release cycle
       new  e06a7704a5 docs(README.md): Add MELPA-Stable badge


Summary of changes:
 CHANGES               | 4 ++++
 Makefile.devel        | 4 ++--
 README.md             | 3 ++-
 doc/PG-adapting.texi  | 4 ++--
 doc/ProofGeneral.texi | 9 ++++++++-
 etc/ProofGeneral.spec | 2 +-
 generic/proof-site.el | 2 +-
 proof-general.el      | 2 +-
 8 files changed, 21 insertions(+), 9 deletions(-)
reply via email to
[Prev in Thread] Current Thread [Next in Thread]