HOL4/tools/holscript-mode.el

135            (skip-syntax-forward "^.")
136            (skip-syntax-forward ".")
140          (setq n (- n (if (equal (skip-syntax-backward ".") 0) 0 1))))
142            (skip-syntax-backward "^.")
143            (skip-syntax-backward ".")
240              (skip-syntax-forward " ")
244                (skip-syntax-forward " ")
252              (skip-syntax-backward " ")
258                (skip-syntax-backward " ")
268              (skip-syntax-forward " ")
272                (skip-syntax-forward " ")
280              (skip-syntax-backward " ")
286                (skip-syntax-backward " ")
302              (skip-syntax-forward " "))
305              (skip-syntax-forward " "))
306            (skip-syntax-backward " ")
314              (skip-syntax-backward " "))
317              (skip-syntax-backward " "))
318            (skip-syntax-forward " ")
698   (set (make-local-variable 'comment-start-skip) "(\\*+\\s-*")
699   (set (make-local-variable 'comment-end-skip) "\\s-*\\*+)")
870       (skip-syntax-forward ".\\")
873       (skip-syntax-forward "w")
881       (skip-syntax-backward ".\\")
884       (skip-syntax-backward "w")
901                (save-excursion (skip-chars-backward " \t") (bolp)))
916                (save-excursion (skip-chars-backward " \t") (bolp)))
935                (progn (skip-syntax-forward ".") (point)))
942                          (progn (skip-syntax-forward ".") (point))))
956             (if (> (skip-chars-forward "$") 1)
970               (skip-syntax-forward "w_")
976 (defun holscript-maybe-skip-attr-list-backward ()
979              (skip-chars-backward "A-Za-z0-9_',")
989                  (save-excursion (skip-chars-backward " \t") (bolp)))
992           (skip-syntax-backward " ")
996         (skip-syntax-backward " ")
1000           (skip-syntax-backward " ")))
1011                (skip-chars-backward " \t")
1030                (skip-chars-backward " \t")
1033                           (skip-chars-backward " \t")
1034                           (if (holscript-maybe-skip-attr-list-backward)
1036                                 (skip-chars-backward "A-Za-z0-9_'")
1038                                 (skip-chars-backward " \t")
1058              (progn (skip-syntax-backward ".") (point)))
1074                         (progn (skip-syntax-backward ".") (point))))
1089            (progn (skip-syntax-backward "w_")
1211        ;; otherwise, skip white-space forward to see if this would move us
1216              (skip-chars-forward " \n\t\r")
1221                 (if (skip-chars-backward " \n\t\r")