[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 28c1dc0092: CI: fix ci/coq-tests.el for emac
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general 28c1dc0092: CI: fix ci/coq-tests.el for emacs 28 |
Date: |
Mon, 13 Jun 2022 05:58:52 -0400 (EDT) |
branch: elpa/proof-general
commit 28c1dc00922b96f8461156c171de928bdeeab5ca
Author: Hendrik Tews <hendrik@askra.de>
Commit: hendriktews <hendrik@askra.de>
CI: fix ci/coq-tests.el for emacs 28
See #657, fixes #657
---
ci/coq-tests.el | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/ci/coq-tests.el b/ci/coq-tests.el
index 8d36bab177..774cc989f5 100644
--- a/ci/coq-tests.el
+++ b/ci/coq-tests.el
@@ -19,6 +19,10 @@
;;(require 'ert-async)
;;(setq ert-async-timeout 2)
+;; Load Coq instance of Proof General now.
+(proof-ready-for-assistant 'coq)
+(require 'coq)
+
;;; Code:
; Exemple de code Lisp qui lance des commandes au prouveur en arrière-plan
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/proof-general 28c1dc0092: CI: fix ci/coq-tests.el for emacs 28,
ELPA Syncer <=