branch: elpa/proof-general
commit b580e5f274ba7884c1d5c58ce33fc99b29edac42
Author: Dominique Unruh <[email protected]>
Commit: Dominique Unruh <[email protected]>
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,
