aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-compat.el
Commit message (Collapse)AuthorAge
* 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 ↵Gravatar David Aspinall2000-09-21
| | | | buffer-syntactic-context
* Added bug fix section and patch for undefinedGravatar David Aspinall2000-09-18
| | | | font-lock-preprocessor-face in FSF Emacs.
* 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