aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Collapse)AuthorAge
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
|
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
|
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
| | | | This fixes a bunch of compilation warnings
* Remove unnecessary calls to 'eval-and-compile'Gravatar Clément Pit--Claudel2017-03-08
|
* Remove some Emacs <24.1 compatibility cruftGravatar Clément Pit--Claudel2017-03-08
|
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-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.Gravatar Pierre Courtieu2017-03-08
|
* Ensure PG overlays have pg-span property (#98)Gravatar Tej Chajed2016-08-25
|
* Summary: Fix to work with dark color themes (stipple with header-line face)Gravatar David Aspinall2015-03-13
|
* (fixes last commit) Added a command to send Queries to coq, with completion ↵Gravatar Pierre Courtieu2015-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 functionGravatar David Aspinall2015-03-05
|
* Don't mess with overlay priorities.Gravatar Stefan Monnier2014-06-06
|
* Added comment.Gravatar Pierre Courtieu2013-07-22
|
* Small fix in holes code.Gravatar Pierre Courtieu2012-09-19
|
* Fix compile for Emacs 24Gravatar David Aspinall2012-09-04
|
* Remove functions defined for Emacs 22 compatibilityGravatar David Aspinall2012-09-02
|
* Summary: Don't quote lambda expressionsGravatar Stefan Monnier2012-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 updateGravatar David Aspinall2012-08-16
|
* Emacs 24 compatibility (ucs-insert -> insert-char)Gravatar David Aspinall2012-08-16
|
* Simplified file variable code for coq.Gravatar Pierre Courtieu2012-07-11
|
* Use proof-add-to-load-path to extend load-path. This way,Gravatar Hendrik Tews2012-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 ↵Gravatar David Aspinall2012-04-30
| | | | without installing STIX.
* fix compilation with emacs23-nox of DebianGravatar Hendrik Tews2012-03-01
|
* Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵Gravatar David Aspinall2011-10-13
| | | | interactive-p with called-interactively-p)
* DocstringGravatar David Aspinall2011-04-18
|
* Support delete selection mode on remapped delete commandsGravatar David Aspinall2011-02-23
| | | | Update some of font alias choices.
* Make proof-assistant-settings follow currently available dynamic settings, ↵Gravatar David Aspinall2011-01-31
| | | | and keep possibly customized variables bound. Closes Trac #387.
* ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).Gravatar David Aspinall2011-01-26
|
* Remove dead codeGravatar David Aspinall2011-01-25
|
* - change 'span-delete-action in 'span-delete-actions, which isGravatar Hendrik Tews2011-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 SMIEGravatar Stefan Monnier2010-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 elispGravatar David Aspinall2010-10-01
|
* span-make-modifying-removing-span: add utilityGravatar David Aspinall2010-10-01
| | | | span-make-self-removing-span: rename from span-add-self-removing-span
* Clean up invisibility specGravatar David Aspinall2010-09-08
|
* Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵Gravatar David Aspinall2010-08-27
| | | | (i.e., automatic preview of next command)
* Bring syntactic context functions togetherGravatar David Aspinall2010-08-25
|
* unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵Gravatar David Aspinall2010-08-24
| | | | Emacs 24 compile warning
* Default to non-italic symbol font variant for Mac OS X. Simplify font ↵Gravatar David Aspinall2010-08-19
| | | | changing code.
* unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadGravatar David Aspinall2010-08-18
| | | | of redisplay to reveal invisibility spec changes
* Tune profilingGravatar David Aspinall2010-08-18
|
* Load elp firstGravatar David Aspinall2010-08-18
|
* hack to ELP to give better readability of profile results, in millisecondsGravatar David Aspinall2010-08-18
|
* unicode-tokens-symbol-font-face: default to italic and support settingGravatar David Aspinall2010-08-11
| | | | the symbol font face's :slant as well as :family attributes.
* span-mapcar-spans-inorder: added for pg-movie productionGravatar David Aspinall2010-08-03
|
* save-excursion -> with-temp-bufferGravatar David Aspinall2010-07-08
|
* Remove debug messageGravatar David Aspinall2010-06-28
|
* Experimental backwards delete char. See Trac #290Gravatar David Aspinall2010-06-27
|
* tidyGravatar David Aspinall2009-12-01
|
* Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311Gravatar David Aspinall2009-12-01
|
* spacesGravatar David Aspinall2009-12-01
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-27 04:31:02 +0000