aboutsummaryrefslogtreecommitdiff
path: root/lib/proof-compat.el
AgeCommit message (Expand)Author
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-02-12 10:18:04 +0000