[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general b580e5f274 08/25: Updated autogenerated part
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general b580e5f274 08/25: Updated autogenerated parts of PQ-adapting.texi. |
Date: |
Mon, 28 Feb 2022 07:58:44 -0500 (EST) |
branch: elpa/proof-general
commit b580e5f274ba7884c1d5c58ce33fc99b29edac42
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>
Updated autogenerated parts of PQ-adapting.texi.
---
doc/PG-adapting.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 1dda289af5..ae36a00f72 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -3305,7 +3305,7 @@ in the @code{proof-assistants} setting.
@c TEXI DOCSTRING MAGIC: proof-assistants
@defvar proof-assistants
Choice of proof assistants to use with Proof General.@*
-A list of symbols chosen from: @samp{coq} @samp{easycrypt} @samp{phox}
@samp{pgshell} @samp{pgocaml} @samp{pghaskell}.
+A list of symbols chosen from: @samp{coq} @samp{easycrypt} @samp{phox}
@samp{qrhl} @samp{pgshell} @samp{pgocaml} @samp{pghaskell}.
If nil, the default will be ALL available proof assistants.
Each proof assistant defines its own instance of Proof General,
- [nongnu] elpa/proof-general updated (df19c7ba0e -> fe8b9fccb3), ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 57a9d9ea91 05/25: qrhl: support for several commands on the same line., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 0aaf95edba 10/25: Removed setting proof-tree-external-display in `qrhl.el`., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general b580e5f274 08/25: Updated autogenerated parts of PQ-adapting.texi.,
ELPA Syncer <=
- [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, 2022/02/28