diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2010-09-09 13:01:05 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2010-09-09 13:01:05 +0000 |
| commit | 0e6cb3aca385db96c9b5ddd4b2d57ee7a6811dd0 (patch) | |
| tree | ebe5290c5aee2b676cbca93201a97cfbd0a32bd5 /coq/coq-syntax.el | |
| parent | c5600ec0c736d1060f74eed99c680b1639b845d3 (diff) | |
Cleaning indentation code.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 82d21094..83b52cf0 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -426,7 +426,7 @@ See also `coq-prog-env' to adjust the environment." ("Inductive (3 args)" "indv3" "Inductive # : # :=\n| # : #\n| # : #\n| # : #." t ) ("Inductive (4 args)" "indv4" "Inductive # : # :=\n| # : #\n| # : #\n| # : #\n| # : #." t ) ("Inductive (5 args)" "indv5" "Inductive # : # :=\n| # : #\n| # : #\n| # : #\n| # : #\n| # : #." t ) - ("Instance" "instance" "Instance #:#.\nProof.\n#End." t "Instance") + ("Instance" nil "Instance #:#.\nProof.\n#End." t "Instance") ("Program Instance" "pinstance" "Program Instance [ # ] => # where \n# := #;\n# := #." t "Program\\s-+Instance") ("Let" "Let" "Let # : # := #." t "Let") ("Ltac" "ltac" "Ltac # := #" t "Ltac") |