diff options
| -rw-r--r-- | tools/coqdoc/output.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml index 43f962330b..6fd62ae070 100644 --- a/tools/coqdoc/output.ml +++ b/tools/coqdoc/output.ml @@ -91,7 +91,7 @@ let is_keyword = "Immediate"; "Implicits"; "Import"; "Inductive"; "Infix"; "Lemma"; "Load"; "Local"; "Match"; "Module"; "Module Type"; "Declare Module"; - "Mutual"; "Parameter"; "Print"; "Proof"; "Qed"; + "Mutual"; "Parameter"; "Parameters"; "Print"; "Proof"; "Qed"; "Record"; "Recursive"; "Remark"; "Require"; "Save"; "Scheme"; "Section"; "Show"; "Syntactic"; "Syntax"; "Tactic"; "Theorem"; "Unset"; "Variable"; "Variables"; |