diff options
author | Stefan Monnier <monnier@iro.umontreal.ca> | 2012-08-30 14:30:23 +0000 |
---|---|---|
committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2012-08-30 14:30:23 +0000 |
commit | 0d0af3dcce3a9b29d9c33c4cee34ca5249713904 (patch) | |
tree | d6b509f668043da0875b8700fd45fca440fc7d7b /phox | |
parent | 8debcb21e749931c38bd791fef4b0b29b87132c8 (diff) |
Summary: Don't quote lambda expressions
* coq/coq-indent.el (coq-indent-inner-regexp): Remove old X-Symbol element.
(coq-save-count, coq-proof-count):
* obsolete/plastic/plastic.el (plastic-shell-handle-output):
* lib/texi-docstring-magic.el (texi-docstring-magic-insert-magic):
* lib/pg-dev.el (emacs-lisp-mode-hook):
* lib/maths-menu.el (maths-menu-filter-predicate)
(maths-menu-tokenise-insert):
* lib/holes.el (holes-next):
* lego/lego.el (lego-shell-handle-output):
* isar/isabelle-system.el (isabelle-docs-menu):
* coq/coq.el (coq-compile-command, coq-compile-auto-save)
(coq-compile-ignored-directories, coq-load-path-safep)
(proof-shell-handle-delayed-output-hook): Don't quote lambda.
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox-outline.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/phox/phox-outline.el b/phox/phox-outline.el index 04fd4ca4..7ee2710f 100644 --- a/phox/phox-outline.el +++ b/phox/phox-outline.el @@ -37,9 +37,9 @@ (defconst phox-outline-heading-end-regexp "\\(\\*)[ \t]*\n\\)\\|\\(\\.[ \t]*\n\\)") -;(if phox-outline -; (add-hook 'phox-mode-hook '(lambda()(outline-minor-mode 1))) -; ) +;;(if phox-outline +;; (add-hook 'phox-mode-hook (lambda () (outline-minor-mode 1))) +;; ) (defun phox-outline-level() "Find the level of current outline heading in some PhoX libraries." @@ -66,4 +66,4 @@ (outline-minor-mode 1) ) -(provide 'phox-outline)
\ No newline at end of file +(provide 'phox-outline) |