branch: main
commit 408fefef5b0ee67f9134a64a28fe2966a8eae7e2
Author: Stefan Monnier <monn...@iro.umontreal.ca>
Commit: Stefan Monnier <monn...@iro.umontreal.ca>
* elpa-packages (proof-general): New package
---
elpa-packages | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/elpa-packages b/elpa-packages
index 452374a..4a55399 100644
--- a/elpa-packages
+++ b/elpa-packages
@@ -135,6 +135,10 @@
:ignored-files ("doc" "test")
:news "CHANGELOG.md")
+ ("proof-general" :url "https://github.com/ProofGeneral/PG";
+ :ignored-files ("ci")
+ :news "CHANGES")
+
("request" :url "https://github.com/tkf/emacs-request";
:ignored-files ("tests" "doc" "COPYING"))
