diff options
| author | David Aspinall | 1998-10-14 13:23:45 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-14 13:23:45 +0000 |
| commit | 3e183f454d259b012e1bb3880f488ac59d9a7d64 (patch) | |
| tree | 304a872889ab21390488475d277b3afe86f01b1a /doc | |
| parent | b905f6cefd9045ad4161850bdc84c1ddf8db34f9 (diff) | |
Bug in texi
Diffstat (limited to 'doc')
| -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 8d52eab3..d09bd4ec 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -589,7 +589,7 @@ proof script files for this assistant. See the documentation of @var{proof-internal-assistants-table} for more details. @item Define the new modes in myassistant.el, by looking at the files for the currently supported assistants for example. - Basically you need to define some modes using @fn{define-derived-mode} + Basically you need to define some modes using @code{define-derived-mode} and set the configuration variables. You could begin by setting a minimum number of the variables, then adjust the settings via the customize menus, under Proof-General -> Internals. |