| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-08-30 | Summary: Don't quote lambda expressions | Stefan Monnier | |
| * 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. | |||
| 2012-05-08 | Use proof-add-to-load-path to extend load-path. This way, | Hendrik Tews | |
| distributions with specific requirements (such as Debian with debian-pkg-add-load-path-item) only need to patch one function. | |||
| 2011-04-18 | Docstring | David Aspinall | |
| 2010-10-01 | Failed attempt to fix font lock customizations for elisp | David Aspinall | |
| 2010-08-18 | Tune profiling | David Aspinall | |
| 2010-08-18 | Load elp first | David Aspinall | |
| 2010-08-18 | hack to ELP to give better readability of profile results, in milliseconds | David Aspinall | |
| 2009-09-10 | Tweaks | David Aspinall | |
| 2009-09-08 | byte-compile-and-load on write is a bit too enthusiastic | David Aspinall | |
| 2009-09-07 | Attempt byte compilation only for emacs lisp! | David Aspinall | |
| 2009-09-07 | Add template auto-insert hook | David Aspinall | |
| 2009-09-06 | Add after save hook and convenient key binding to compile on save | David Aspinall | |
| 2009-09-06 | More instrumentation | David Aspinall | |
| 2009-09-05 | Clean compile, remove useless autoload settings. | David Aspinall | |
| 2009-09-05 | Turn on proof-general-debug. Missing require | David Aspinall | |
| 2009-09-05 | Tidy whitespace | David Aspinall | |
| 2009-09-05 | Make bug references clickable | David Aspinall | |
| 2009-09-04 | Profile more of the code | David Aspinall | |
| 2009-09-04 | Profile settings | David Aspinall | |
| 2009-09-01 | Remove some old X-Symbol references. | David Aspinall | |
| 2009-08-28 | Add convenience function for profiling | David Aspinall | |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-01-30 | Fix RCS tags | David Aspinall | |
| 2008-01-30 | Updated. | David Aspinall | |
| 2008-01-30 | Updated. | David Aspinall | |
| 2008-01-28 | unload-pg: Update features | David Aspinall | |
| 2008-01-14 | Remove font lock settings for now | David Aspinall | |
| 2008-01-13 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |