diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-15 09:27:34 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-15 09:27:34 +0000 |
| commit | e40153588d2c69c027eec0e325ee700b7fa315b6 (patch) | |
| tree | 4b007fb4e623c1eec13999e4cf74ca12dba676db /tools | |
| parent | 14d408b1ec9320868b4d23e4241b5c8f5d9c8cb3 (diff) | |
Parameters
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5482 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
| -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 43f962330..6fd62ae07 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"; |