diff options
author | 2011-08-23 12:55:39 +0000 | |
---|---|---|
committer | 2011-08-23 12:55:39 +0000 | |
commit | 72014cf9698b44b90c4f96e939744a12599bf7d4 (patch) | |
tree | 0ef8779d2ddbd9ff7687090192cf82fbdd5d6e6a | |
parent | eeb02fa47cb3ae5b1b38ec87fbfc7014591d07cc (diff) |
Update magic
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index c54f1d54..be93eb6d 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -4244,7 +4244,7 @@ This option can be set/reset via menu Buffers to save before checking dependencies for compilation.@* There are two orthogonal choices: Firstly one can save all or only the coq buffers, where coq buffers means all buffers in coq mode except the current -buffer. Secondly, emacs can ask about each such buffer or save all of them +buffer. Secondly, Emacs can ask about each such buffer or save all of them unconditionally. This makes four permitted values: @code{'ask-coq} to confirm saving all |