Docstring fixes, minor improvements.

1 files changed, 4 insertions, 3 deletions

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index 864a31cf..5f05d06d 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -112,11 +112,12 @@ translations\n
 rules\n
 end\n
 ML\n"
-"*Template for theory files.
+"Template for theory files.
 Contains a default selection of sections in a traditional order.
 You can use the following format characters:
-  %t --- replaced by theory name
-  %p --- replaced by names of parents, separated by +'s"
+
+%t --- replaced by theory name
+%p --- replaced by names of parents, separated by `+' characters"
  :group 'thy
  :type 'string)