[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 67006d14e3 15/25: Merge branch 'master' into
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general 67006d14e3 15/25: Merge branch 'master' into qrhl-tool |
Date: |
Mon, 28 Feb 2022 07:58:45 -0500 (EST) |
branch: elpa/proof-general
commit 67006d14e3fef5147554beea96a2ba7b8f2c32be
Merge: 543aa777d7 df19c7ba0e
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>
Merge branch 'master' into qrhl-tool
---
README.md | 12 ++++++------
coq/coq-system.el | 2 +-
2 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/README.md b/README.md
index fce5f86a8a..71ba70d5e2 100644
--- a/README.md
+++ b/README.md
@@ -15,15 +15,13 @@ This is version 4.5-git of Proof General.
Two editions of Proof General are currently available:
-* the (legacy) REPL-based, stable version of Proof General,
+* the (standard) REPL-based, stable version of Proof General,
gathered in the
- [master](https://github.com/ProofGeneral/PG/tree/master) branch, and
- licensed under GPLv2;
-* the (newest) Coq-specific, experimental version of Proof General,
+ [master](https://github.com/ProofGeneral/PG/tree/master) branch;
+* the (unmaintained) Coq-specific, experimental version of Proof General,
supporting asynchronous proof processing,
gathered in the
- [async](https://github.com/ProofGeneral/PG/tree/async) branch, and
- licensed under GPLv3+.
+ [async](https://github.com/ProofGeneral/PG/tree/async) branch.
## Installing Proof General
@@ -126,6 +124,8 @@ See:
Links:
* [https://proofgeneral.github.io/doc](https://proofgeneral.github.io/doc) for
online documentation of Proof General
+* [https://coq.zulipchat.com](https://coq.zulipchat.com/) for chatting with PG
maintainers and developers on the Zulip chat of Coq (in streams [Proof General
devs](https://coq.zulipchat.com/#narrow/stream/304020-Proof-General.20devs) and
[Proof General
users](https://coq.zulipchat.com/#narrow/stream/304019-Proof-General.20users))
+* [https://coq.gitlab.io/zulip-archive](https://coq.gitlab.io/zulip-archive)
for the corresponding public Zulip archive (read-only, no authentication
required)
Supported proof assistants:
diff --git a/coq/coq-system.el b/coq/coq-system.el
index d32629f289..3afc26715c 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -130,7 +130,7 @@ Interactively (with INTERACTIVE-P), show that number."
(interactive '(t))
(setq coq-autodetected-version nil)
(let* ((str (coq-callcoq "-v" 0))
- (mtch (and str (string-match "version \\([^ \n]+\\)" str))))
+ (mtch (and str (string-match "version \\([^ \r\n]+\\)" str))))
(when mtch
(setq coq-autodetected-version (match-string 1 str))))
(when interactive-p (coq-show-version))
- [nongnu] elpa/proof-general b580e5f274 08/25: Updated autogenerated parts of PQ-adapting.texi., (continued)
- [nongnu] elpa/proof-general b580e5f274 08/25: Updated autogenerated parts of PQ-adapting.texi., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 2d3f422b01 11/25: Mentioning qrhl-tool in README.md, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 553b2dc093 09/25: Added (require 'proof) to qrhl.el, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 543aa777d7 14/25: Made path to qrhl-tool customizable., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 232c7ccae1 18/25: qrhl: Ensure UTF-8 via `proof-shell-unicode` instead of `set-language-environment`., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general ff22652025 17/25: qrhl: Font-lock support (keywords and sub/superscripts), ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general b49220f634 01/25: Added qRHL support from qrhl-tool repo, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 80aac72a7a 02/25: Fix: proof-tree-external-display := nil, otherwise ProofGeneral fails, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general ee01e75c66 03/25: qrhl-mode recognizes focus commands (e.g. '1-2: ++'), ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 9b3ec8c596 16/25: qrhl: Made variable setting of `electric-indent-mode` buffer-local, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 67006d14e3 15/25: Merge branch 'master' into qrhl-tool,
ELPA Syncer <=
- [nongnu] elpa/proof-general 30b882b8c3 04/25: qrhl.el: Fixed regexp for errors, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general df4013732e 22/25: qrhl: Removed autoload cookie from customizable options., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general fe8b9fccb3 25/25: Merge pull request #636 from dominique-unruh/qrhl-tool, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 847492f78f 13/25: Using require instead of load-library to load qrhl-input., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 0eb165d2a5 12/25: Removed some hardcoded configuration in qrhl mode:, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 360b6c24e3 24/25: Clarified copyright of qrhl: University of Tartu, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general e86aa8468b 07/25: Added author to qrhl.el., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 0e51f5af9a 06/25: Merge remote-tracking branch 'origin/master' into qrhl-tool, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general afb17bbee9 21/25: qrhl: Updated copyright headers. Set lexical-binding: t, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general dead1cc989 23/25: Updated doc-magic (`make -C doc magic`), ELPA Syncer, 2022/02/28