Guest User

Untitled

a guest
Apr 25th, 2015
247
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Index: coq/coq-smie.el
  2. ===================================================================
  3. RCS file: /disk/cvs/proofgen/ProofGeneral/coq/coq-smie.el,v
  4. retrieving revision 11.21
  5. diff -u -r11.21 coq-smie.el
  6. --- coq/coq-smie.el 3 Apr 2015 16:40:08 -0000   11.21
  7. +++ coq/coq-smie.el 16 Apr 2015 19:41:14 -0000
  8. @@ -598,6 +598,8 @@
  9.        ((equal prev-interesting "let") "in let")
  10.        ;((equal prev-interesting "eval in") "in eval"); not detectable by coq-smie-search-token-backward
  11.        ((equal prev-interesting "match") "in match")
  12. +       ((equal prev-interesting "lazymatch") "in match")
  13. +       ((equal prev-interesting "multimatch") "in match")
  14.        (t "in tactic")))))
  15.  
  16.       ((and (eq (char-before) ?@) (member (char-syntax (char-after)) '(?w ?_)))
RAW Paste Data