aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/proof-compat.el
Commit message (Expand)AuthorAge
* 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