diff options
| author | Clément Pit-Claudel | 2020-10-14 16:11:34 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-14 16:11:34 +0000 |
| commit | cd6955d5a7fa35ab1aa6a7754d194a87f7c9aedf (patch) | |
| tree | 61eec85c01b0a2d925a9c0f58905248fba25c810 | |
| parent | 4f6b6027632f55d7a8248ae509cc6526a372ce9f (diff) | |
| parent | d1a42a936ceb0129e1e62d2bdab33207c1273fd6 (diff) | |
Merge pull request #517 from Lysxia/hl-compute
Highlight Compute
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index d2b48b67..4cb6de55 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -567,6 +567,7 @@ so for the following reasons: '( ("About" nil "About #." nil "About") ("Check" nil "Check" nil "Check") + ("Compute" nil "Compute" nil "Compute") ("Fail" nil "Fail" nil "fail") ("Inspect" nil "Inspect #." nil "Inspect") ("Locate File" nil "Locate File \"#\"." nil "Locate\\s-+File") |