diff options
author | 2014-06-06 17:23:03 +0000 | |
---|---|---|
committer | 2014-06-06 17:23:03 +0000 | |
commit | b9c06ced8e899854d06314b52d0182e123775afc (patch) | |
tree | 588fbaf256bcdcb8b8b7d889ed34538f8f7083f4 /generic/proof-script.el | |
parent | 1c0b0d32f95d7555943ab86a2de6666e39e84c13 (diff) |
* coq/coq-smie.el: Fix precedence of 'else'.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions