From 080c69ac22922eb26ce66a90bfdec4495a648d13 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Jun 2000 12:47:49 +0000
Subject: Elaborated on where to find example file

---
 doc/ProofGeneral.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 675ddc9d..ac96da88 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -821,8 +821,8 @@ then describe the concepts and functions in more detail.
 Here's a short example in LEGO to see how script management is used.
 The file you are asked to type below is included in the distribution as
 @file{lego/example.l}.  If you're not using LEGO, substitute some lines
-from a simple proof for your proof assistant, or consult the example
-file provided with Proof General.
+from a simple proof for your proof assistant, or consult the file
+called something like @file{foo/example.foo} for proof assistant Foo.
 
 This walkthrough is keyboard based, but you could easily use the toolbar
 and menu functions instead.  The best way to learn Emacs key bindings is
-- 
cgit v1.2.3