From ace66ba07cd11df2960b1cb3cb0d3ccfbc6d2f26 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 19 Nov 1999 19:25:02 +0000 Subject: Fixed info probs. xrefs are a complete nonsense in info. --- doc/ProofGeneral.texi | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index a994c5c4..a4284a16 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -423,6 +423,7 @@ to @code{proofgen@@dcs.ed.ac.uk}. * Features of Proof General:: * Supported proof assistants:: * Prerequisites for this manual:: +* Organization of this manual:: @end menu @@ -568,16 +569,16 @@ Proof General comes ready-customised for these proof assistants: @itemize @bullet @item @b{LEGO Proof General} for LEGO Version 1.3.1@* -@xref{LEGO Proof General} for more details. +See @ref{LEGO Proof General} for more details. @item @b{Coq Proof General} for Coq Version 6.3@* -@xref{Coq Proof General} for more details. +See @ref{Coq Proof General} for more details. @item @b{Isabelle Proof General} for Isabelle99@* -@xref{Isabelle Proof General} for more details. +See @ref{Isabelle Proof General} for more details. @item @b{Isabelle/Isar Proof General} for Isabelle99@* -@xref{Isabelle Proof General} and documentation suplied with +See @ref{Isabelle Proof General} and documentation suplied with Isabelle for more details. @end itemize Proof General is designed to be generic, so if you know how @@ -1352,6 +1353,7 @@ you with several escape mechanisms if you want to do this. * View of processed files :: * Retracting across files:: * Asserting across files:: +* Automatic multiple file handling:: * Escaping script management:: @end menu @@ -1477,6 +1479,7 @@ commands}. Proof General reminds you that now is a good time to save any unmodified buffers. This is particularly useful as assertion may cause the proof assistant to automatically process other files. + @node Automatic multiple file handling @section Automatic multiple file handling -- cgit v1.2.3