diff options
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/thy-mode.el | 7 |
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) |