aboutsummaryrefslogtreecommitdiff
path: root/lib/proof-compat.el
AgeCommit message (Expand)Author
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2012-09-02Remove functions defined for Emacs 22 compatibilityDavid Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, an...David Aspinall
2010-11-15Summary: New indentation code using SMIEStefan Monnier
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2009-09-09Add compatilibity for declare-function in Emacs 22.1David Aspinall
2009-09-06proof-buffer-syntactic-context-emulate: use caching syntax-ppssDavid Aspinall
2009-09-06Fix compile warningsDavid Aspinall
2009-09-05Add characterp for Emacs 22David Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Remove further unnecessary compatibility code.David Aspinall
2009-05-27Cleanup more Emacs compatibilityDavid Aspinall
2009-05-26Remove process-live-p, move complete autoload to use pointDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-29Add buffer-substring-no-properties in case of older Emacs versionsDavid Aspinall
2008-01-28Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not boundDavid Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
2008-01-17Avoid some compilation/warningsDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Remove eval-when, seems unreliableDavid Aspinall
2007-12-14Add eval-whenDavid Aspinall
2007-12-12Tune compatibilityDavid Aspinall
2007-05-10Emulate find-coding-system for GNU EmacsDavid Aspinall
2007-01-20Patch x-symbol problem with XEmacs betaDavid Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2006-09-22Add workaround for GNU Emacs problems in easymenu-add.David Aspinall
2006-08-23sit-for is indeed in subr.el, must be careful to load rightDavid Aspinall
2006-08-23Compatibility for GNU Emacs CVS losing sit-forDavid Aspinall
2005-09-27Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...David Aspinall
2004-08-25Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:56:13 +0000