diff options
| author | David Aspinall | 1998-11-25 13:02:59 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 13:02:59 +0000 |
| commit | 1e0c252b5290ab160969c266025289b952eb239f (patch) | |
| tree | 14a38f8a88ccfacf3ab9354b923429522b9b3ad1 /isa | |
| parent | e6860a080a4dcc3cbd43c5fbf1904eae0ba190cd (diff) | |
Documentation improvements.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/thy-mode.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index 5f05d06d..4726705a 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -116,8 +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 -%p --- replaced by names of parents, separated by `+' characters" +%t --- replaced by theory name. + +%p --- replaced by names of parents, separated by `+' characters." :group 'thy :type 'string) |