diff options
| -rw-r--r-- | isa/thy-mode.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index a9690394..95a17727 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -65,6 +65,9 @@ any of the usual bracket characters in unusual ways." ("constdefs") ("oracle") ("local") + ("locale") + ("nonterminals") + ("setup") ("global") ("end") ("ML")) |