diff options
| author | Li-yao Xia | 2020-10-14 12:03:31 -0400 |
|---|---|---|
| committer | Li-yao Xia | 2020-10-14 12:03:31 -0400 |
| commit | d1a42a936ceb0129e1e62d2bdab33207c1273fd6 (patch) | |
| tree | 61eec85c01b0a2d925a9c0f58905248fba25c810 /coq | |
| parent | 4f6b6027632f55d7a8248ae509cc6526a372ce9f (diff) | |
Highlight Compute
Diffstat (limited to 'coq')
| -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") |