Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix most doc issues raised by (checkdoc) | 2018-08-23 | |
| | |||
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
| | |||
* | Remove mmm and ML4PG contribs and remove references to them in code and docs | 2017-05-24 | |
| | |||
* | Change (eval-when (compile) ...) to (eval-when-compile ...) | 2017-05-05 | |
| | | | | This fixes a bunch of compilation warnings | ||
* | Remove unnecessary calls to 'eval-and-compile' | 2017-03-08 | |
| | |||
* | Remove some Emacs <24.1 compatibility cruft | 2017-03-08 | |
| | |||
* | Fix incorrect uses of defvar | 2017-03-08 | |
| | | | | | | | It didn't really matter that these variables were defined and set to nil during compilation, since we ran compilation in a clean Emacs in --batch mode; it does matter now, however, since package.el compiles PG in the user's currently running Emacs instance. | ||
* | Fixing unicode tokens in generic code and in coq. | 2017-03-08 | |
| | |||
* | Ensure PG overlays have pg-span property (#98) | 2016-08-25 | |
| | |||
* | Summary: Fix to work with dark color themes (stipple with header-line face) | 2015-03-13 | |
| | |||
* | (fixes last commit) Added a command to send Queries to coq, with completion ↵ | 2015-03-13 | |
| | | | | | | | (C-c C-a C-q). Should replace C-c C-v at some point. Needs to have a complete list of such queries. Obeys C-u prefix for Printing all flag. | ||
* | Summary: Remove obsolete function | 2015-03-05 | |
| | |||
* | Don't mess with overlay priorities. | 2014-06-06 | |
| | |||
* | Added comment. | 2013-07-22 | |
| | |||
* | Small fix in holes code. | 2012-09-19 | |
| | |||
* | Fix compile for Emacs 24 | 2012-09-04 | |
| | |||
* | Remove functions defined for Emacs 22 compatibility | 2012-09-02 | |
| | |||
* | Summary: Don't quote lambda expressions | 2012-08-30 | |
| | | | | | | | | | | | | | | | | * 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. | ||
* | Emacs 24 update | 2012-08-16 | |
| | |||
* | Emacs 24 compatibility (ucs-insert -> insert-char) | 2012-08-16 | |
| | |||
* | Simplified file variable code for coq. | 2012-07-11 | |
| | |||
* | Use proof-add-to-load-path to extend load-path. This way, | 2012-05-08 | |
| | | | | | distributions with specific requirements (such as Debian with debian-pkg-add-load-path-item) only need to patch one function. | ||
* | Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵ | 2012-04-30 | |
| | | | | without installing STIX. | ||
* | fix compilation with emacs23-nox of Debian | 2012-03-01 | |
| | |||
* | Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵ | 2011-10-13 | |
| | | | | interactive-p with called-interactively-p) | ||
* | Docstring | 2011-04-18 | |
| | |||
* | Support delete selection mode on remapped delete commands | 2011-02-23 | |
| | | | | Update some of font alias choices. | ||
* | Make proof-assistant-settings follow currently available dynamic settings, ↵ | 2011-01-31 | |
| | | | | and keep possibly customized variables bound. Closes Trac #387. | ||
* | ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu). | 2011-01-26 | |
| | |||
* | Remove dead code | 2011-01-25 | |
| | |||
* | - change 'span-delete-action in 'span-delete-actions, which is | 2011-01-24 | |
| | | | | | now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action. | ||
* | Summary: New indentation code using SMIE | 2010-11-15 | |
| | | | | | | | | | | * coq/coq.el (coq-build-prog-args): Avoid meaningless \- escape sequence. (coq-use-smie): New custom var. (coq-smie-grammar): New var. (coq-smie-rules): New function. (coq-guess-or-ask-for-string): Use use-region-p. (coq-mode-config): Use smie-setup if available. * lib/proof-compat.el (use-region-p): Provide fallback definition. | ||
* | Failed attempt to fix font lock customizations for elisp | 2010-10-01 | |
| | |||
* | span-make-modifying-removing-span: add utility | 2010-10-01 | |
| | | | | span-make-self-removing-span: rename from span-add-self-removing-span | ||
* | Clean up invisibility spec | 2010-09-08 | |
| | |||
* | Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵ | 2010-08-27 | |
| | | | | (i.e., automatic preview of next command) | ||
* | Bring syntactic context functions together | 2010-08-25 | |
| | |||
* | unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵ | 2010-08-24 | |
| | | | | Emacs 24 compile warning | ||
* | Default to non-italic symbol font variant for Mac OS X. Simplify font ↵ | 2010-08-19 | |
| | | | | changing code. | ||
* | unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead | 2010-08-18 | |
| | | | | of redisplay to reveal invisibility spec changes | ||
* | Tune profiling | 2010-08-18 | |
| | |||
* | Load elp first | 2010-08-18 | |
| | |||
* | hack to ELP to give better readability of profile results, in milliseconds | 2010-08-18 | |
| | |||
* | unicode-tokens-symbol-font-face: default to italic and support setting | 2010-08-11 | |
| | | | | the symbol font face's :slant as well as :family attributes. | ||
* | span-mapcar-spans-inorder: added for pg-movie production | 2010-08-03 | |
| | |||
* | save-excursion -> with-temp-buffer | 2010-07-08 | |
| | |||
* | Remove debug message | 2010-06-28 | |
| | |||
* | Experimental backwards delete char. See Trac #290 | 2010-06-27 | |
| | |||
* | tidy | 2009-12-01 | |
| | |||
* | Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311 | 2009-12-01 | |
| |