aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-compat.el
Commit message (Expand)AuthorAge
* Add definition of font-lock-preprocessor-faceGravatar David Aspinall2002-07-02
* Also use our own buffer-syntactic-context in XEmacs 21.4.Gravatar David Aspinall2002-06-24
* GPLGravatar David Aspinall2002-06-21
* Added emultation of display-graphic-p for XEmacsGravatar David Aspinall2002-03-21
* Add proof-emacs-imagep function for GNU Emacs 21.Gravatar David Aspinall2001-12-11
* Added implementation of remassq for FSF EmacsGravatar David Aspinall2001-08-30
* Workaround for buffer-syntactic-context bug in XEmacs 21.1Gravatar David Aspinall2001-08-10
* Moved compat hack to proof-siteGravatar David Aspinall2001-08-01
* Add a dummy version of package-provide for FSFEmacs.Gravatar David Aspinall2001-08-01
* Add require for arch flags, cleaner compilation.Gravatar David Aspinall2001-07-09
* Move emacs version compatibility flags to proof-site.elGravatar David Aspinall2001-05-16
* Copyright date updatedGravatar David Aspinall2001-05-08
* Removed blurry distinction between block-comment and comment in FSF's buffer-...Gravatar David Aspinall2000-09-21
* Added bug fix section and patch for undefinedGravatar David Aspinall2000-09-18
* Emulate buffer-syntactic-context on FSF EmacsGravatar David Aspinall2000-09-18
* Added hack to completion.el to avoid adding every prefix as completion.Gravatar David Aspinall2000-05-31
* Added process-live-pGravatar David Aspinall2000-05-30
* Added replace-string for FSF.Gravatar David Aspinall2000-05-29
* Moved compatibility code into proof-compat.elGravatar David Aspinall2000-05-26
* New filesGravatar David Aspinall2000-05-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 15:18:09 +0000