emacs-elpa-diffs
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]