aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-compat.el
AgeCommit message (Expand)Author
2002-03-21Added emultation of display-graphic-p for XEmacsDavid Aspinall
2001-12-11Add proof-emacs-imagep function for GNU Emacs 21.David Aspinall
2001-08-30Added implementation of remassq for FSF EmacsDavid Aspinall
2001-08-10Workaround for buffer-syntactic-context bug in XEmacs 21.1David Aspinall
2001-08-01Moved compat hack to proof-siteDavid Aspinall
2001-08-01Add a dummy version of package-provide for FSFEmacs.David Aspinall
2001-07-09Add require for arch flags, cleaner compilation.David Aspinall
2001-05-16Move emacs version compatibility flags to proof-site.elDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2000-09-21Removed blurry distinction between block-comment and comment in FSF's buffer-...David Aspinall
2000-09-18Added bug fix section and patch for undefinedDavid Aspinall
2000-09-18Emulate buffer-syntactic-context on FSF EmacsDavid Aspinall
2000-05-31Added hack to completion.el to avoid adding every prefix as completion.David Aspinall
2000-05-30Added process-live-pDavid Aspinall
2000-05-29Added replace-string for FSF.David Aspinall
2000-05-26Moved compatibility code into proof-compat.elDavid Aspinall
2000-05-09New filesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 09:49:45 +0000