diff options
author | 2001-03-20 17:38:23 +0000 | |
---|---|---|
committer | 2001-03-20 17:38:23 +0000 | |
commit | 67735f434627c4bfbc0bedd9a64bb824581efde7 (patch) | |
tree | 8c0b3f92edfecee44add1aad302bdc6194652748 | |
parent | b058e5209bf4968b9f31edcd4149251e659bbd6b (diff) |
Updated magic
-rw-r--r-- | doc/PG-adapting.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 5bbfb093..65576185 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -1866,7 +1866,7 @@ Mark for goal. This setting is also used to see if proof-by-pointing features are configured. If it is unset, some of the code -for parsing the is disabled. +for parsing the prover output is disabled. @end defvar @c TEXI DOCSTRING MAGIC: proof-shell-field-char @defvar proof-shell-field-char |