diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-01-28 14:36:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-01-28 14:36:16 +0000 |
| commit | c6408720e79c5e7e6240e4504ab17a39ed926050 (patch) | |
| tree | 74150c45bc041821301010f1765dfa45815202d8 /coq/coq-syntax.el | |
| parent | c33a4b28e1320fe604b8530f3ac0d8b0b0b550d6 (diff) | |
Fixed indentation and goal display.
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 ec17d506..ad51d990 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -844,7 +844,7 @@ Used by `coq-goal-command-p'" "Keywords for tacticals in a Coq script.") - ; From JF Monin: + ;; From JF Monin: (defvar coq-reserved (append coq-user-reserved-db |