From 1528843b7d9c3d2f8234651ab8d94dd8a0148712 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Apr 2004 17:41:43 +0000
Subject: Update magic

---
 doc/ProofGeneral.texi | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 02498028..852d3e74 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2640,14 +2640,25 @@ If in three window or multiple frame mode, display two buffers.
 The idea of this function is to change the window->buffer mapping 
 without adjusting window layout.
 @end deffn
+
 @c TEXI DOCSTRING MAGIC: proof-layout-windows
+@deffn Command proof-layout-windows &optional nohorizontalsplit
+Refresh the display of windows according to current display mode.
+
+For single frame mode, this uses a canonical layout made by splitting
+Emacs windows vertically in equal proportions.  You can then adjust
+the proportions by dragging the separating bars.  In three pane mode,
+the canonical layout is to split both horizontally and vertically, to
+display the prover responses in two panes on the right-hand side, and
+the proof script in a taller pane on the left.  A prefix argument will
+prevent the horizontal split, and result in three windows spanning the
+full width of the Emacs frame.
+
+For multiple frame mode, this function obeys the setting of
+@samp{@code{proof-eagerly-raise}}, which see.
+@end deffn
 
 
-@deffn Command proof-layout-windows 
-Refresh the display of windows according to current display mode.@*
-This uses a canonical layout.  
-It obeys the setting of @samp{@code{proof-eagerly-raise}} for multiple frame mode.
-@end deffn
 @node User options
 @section User options
 @c Index entries for each option 'concept'
-- 
cgit v1.2.3