diff options
| author | David Aspinall | 2000-06-15 12:47:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-15 12:47:49 +0000 |
| commit | 080c69ac22922eb26ce66a90bfdec4495a648d13 (patch) | |
| tree | 451c7546a785cd966e82b076e38fc8749124372a | |
| parent | e2bc60c9c6924c4b7fe8c32fac87d1beae9e943a (diff) | |
Elaborated on where to find example file
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
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 |