From 07d26e68014431c5b31493be82b17f02c52e3a7e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Dec 1998 19:41:47 +0000
Subject: Docstring tweak

---
 isa/thy-mode.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index 4726705a..a5b8f6be 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -116,9 +116,9 @@ ML\n"
 Contains a default selection of sections in a traditional order.
 You can use the following format characters:
 
-%t --- replaced by theory name.
+`%t' --- replaced by theory name.
 
-%p --- replaced by names of parents, separated by `+' characters."
+`%p' --- replaced by names of parents, separated by `+' characters."
  :group 'thy
  :type 'string)
 
-- 
cgit v1.2.3