[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 2856783ddd 4/7: Makefile: Added qrhl to prov
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general 2856783ddd 4/7: Makefile: Added qrhl to provers that need to be compiled |
|
Date: |
Thu, 10 Mar 2022 10:58:33 -0500 (EST) |
branch: elpa/proof-general
commit 2856783ddd6caa5a4a591c2fe64e7261b83ce590
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>
Makefile: Added qrhl to provers that need to be compiled
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index e441e3d19b..4d8f51ccab 100644
--- a/Makefile
+++ b/Makefile
@@ -35,7 +35,7 @@ PREFIX=$(DESTDIR)/usr
DEST_PREFIX=$(DESTDIR)/usr
# subdirectories for provers: to be compiled and installed
-PROVERS=coq easycrypt pghaskell pgocaml pgshell phox
+PROVERS=coq easycrypt pghaskell pgocaml pgshell phox qrhl
# generic lisp code: to be compiled and installed
OTHER_ELISP=generic lib
- [nongnu] elpa/proof-general updated (d9cfe74845 -> a5021b929f), ELPA Syncer, 2022/03/10
- [nongnu] elpa/proof-general 1a64e61c93 2/7: Added "qrhl" to the list of byte-compiled directories., ELPA Syncer, 2022/03/10
- [nongnu] elpa/proof-general 07e6b0d4e5 6/7: Made qrhl-input.el compile on all supported Emacs versions., ELPA Syncer, 2022/03/10
- [nongnu] elpa/proof-general a0ebe26bbe 5/7: tests: Add test whether qrhl input method loads correctly, ELPA Syncer, 2022/03/10
- [nongnu] elpa/proof-general 5ecce84864 1/7: qrhl: Added both `(require 'proof)` and `(require 'proof-easy-config)'., ELPA Syncer, 2022/03/10
- [nongnu] elpa/proof-general 3f5fe71e52 3/7: Miscelleaneous cleanup in qrhl.el (by @monnier), ELPA Syncer, 2022/03/10
- [nongnu] elpa/proof-general 2856783ddd 4/7: Makefile: Added qrhl to provers that need to be compiled,
ELPA Syncer <=
- [nongnu] elpa/proof-general a5021b929f 7/7: Merge pull request #643 from dominique-unruh/qrhl-tool, ELPA Syncer, 2022/03/10