diff options
| author | David Aspinall | 1998-10-23 12:45:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-23 12:45:21 +0000 |
| commit | 12f40ce94d33229e08029228d44c9f94b0f7368e (patch) | |
| tree | ac530e5c50e6b0a40f198aeeced4b7d9eafd35ec | |
| parent | c51e2febfd8d024a1bf8d16a0b19c63e612cd5c8 (diff) | |
Added new theory file sections
| -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")) |