aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/proof-compat.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* Remove functions defined for Emacs 22 compatibilityGravatar David Aspinall2012-09-02
* Make proof-assistant-settings follow currently available dynamic settings, an...Gravatar David Aspinall2011-01-31
* Summary: New indentation code using SMIEGravatar Stefan Monnier2010-11-15
* Bring syntactic context functions togetherGravatar David Aspinall2010-08-25
* Add compatilibity for declare-function in Emacs 22.1Gravatar David Aspinall2009-09-09
* proof-buffer-syntactic-context-emulate: use caching syntax-ppssGravatar David Aspinall2009-09-06
* Fix compile warningsGravatar David Aspinall2009-09-06
* Add characterp for Emacs 22Gravatar David Aspinall2009-09-05
* Tidy whitespaceGravatar David Aspinall2009-09-05
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
* Remove further unnecessary compatibility code.Gravatar David Aspinall2009-09-04
* Cleanup more Emacs compatibilityGravatar David Aspinall2009-05-27
* Remove process-live-p, move complete autoload to use pointGravatar David Aspinall2009-05-26
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Add buffer-substring-no-properties in case of older Emacs versionsGravatar David Aspinall2008-01-29
* Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not boundGravatar David Aspinall2008-01-28
* Back patch for XEmacs 21.4 on API change to add-hook.Gravatar David Aspinall2008-01-25
* Back patch for XEmacs 21.4 on API change to add-hook.Gravatar David Aspinall2008-01-25
* Avoid some compilation/warningsGravatar David Aspinall2008-01-17
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Add eval-whenGravatar David Aspinall2007-12-14
* Tune compatibilityGravatar David Aspinall2007-12-12
* Emulate find-coding-system for GNU EmacsGravatar David Aspinall2007-05-10
* Patch x-symbol problem with XEmacs betaGravatar David Aspinall2007-01-20
* Rationalise testing for different values of window-system, to/and support mor...Gravatar David Aspinall2006-10-27
* Add workaround for GNU Emacs problems in easymenu-add.Gravatar David Aspinall2006-09-22
* sit-for is indeed in subr.el, must be careful to load rightGravatar David Aspinall2006-08-23
* Compatibility for GNU Emacs CVS losing sit-forGravatar David Aspinall2006-08-23
* Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...Gravatar David Aspinall2005-09-27
* Renamed fileGravatar David Aspinall2004-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 10:32:55 +0000