diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 17:04:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 17:04:45 +0000 |
| commit | 18d753e8bf4b5a959bf50976e62f055d477d1ebd (patch) | |
| tree | cb5df2c9e19acc568390c2663fb9731183df0e35 /doc | |
| parent | f3ffad3b6d2633f6acb340554c753ecd57c4a2dc (diff) | |
Update magic
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/PG-adapting.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 403d5f96..74d316c9 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -376,7 +376,7 @@ directory and elisp file for the mode, which will be where @samp{PROOF-HOME-DIRECTORY} is the value of the variable @code{proof-home-directory}. -The default value is @code{((demoisa "Isabelle Demo" "\\.ML$") (isa "Isabelle" "\\.ML$\\|\\.thy$") (isar "Isabelle/Isar" "\\.thy$") (lego "LEGO" "\\.l$") (coq "Coq" "\\.v$") (phox "PhoX" "\\.phx$") (hol98 "HOL" "\\.sml$") (acl2 "ACL2" "\\.acl2$") (twelf "Twelf" "\\.elf$") (plastic "Plastic" "\\.lf$") (lclam "Lambda-CLAM" "\\.lcm$"))}. +The default value is @code{((demoisa "Isabelle Demo" "\\.ML$") (isa "Isabelle" "\\.ML$\\|\\.thy$") (isar "Isabelle/Isar" "\\.thy$") (lego "LEGO" "\\.l$") (coq "Coq" "\\.v$\\|\\.v8$\\|\\.v7$") (phox "PhoX" "\\.phx$") (hol98 "HOL" "\\.sml$") (acl2 "ACL2" "\\.acl2$") (twelf "Twelf" "\\.elf$") (plastic "Plastic" "\\.lf$") (lclam "Lambda-CLAM" "\\.lcm$"))}. @end defopt @@ -1555,8 +1555,9 @@ Leave unset if no special characters are being used. @c TEXI DOCSTRING MAGIC: proof-shell-prompt-pattern @defvar proof-shell-prompt-pattern Proof shell's value for comint-prompt-pattern, which see.@* -This pattern is just for interaction in comint (shell buffer). -You don't really need to set it. +NB!! This pattern is just for interaction in comint (shell buffer). +You don't really need to set it. The important one to set is +@samp{@code{proof-shell-annotated-prompt-regexp}}, which see. @end defvar @c TEXI DOCSTRING MAGIC: proof-shell-annotated-prompt-regexp @defvar proof-shell-annotated-prompt-regexp @@ -2466,7 +2467,6 @@ proof-shell-no-auto-terminate-commands. By default, let the command be processed asynchronously. But if optional @var{wait} command is non-nil, wait for processing to finish before and after sending the command. -If @var{wait} is an integer, wait for that many seconds afterwards. @end defun There are several handy macros to help you define functions |