From 3e183f454d259b012e1bb3880f488ac59d9a7d64 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Oct 1998 13:23:45 +0000
Subject: Bug in texi

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3