aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-compat.el
Commit message (Expand)AuthorAge
* Add compatibility hack for Emacs 21.2.1 customize-menu-createGravatar David Aspinall2004-04-26
* Add save-selected-frame for GNU EmacsGravatar David Aspinall2004-04-18
* Comment out pg-customize-menu-createGravatar David Aspinall2004-04-15
* Add various GNU <-> XE compatibility functions for display.Gravatar David Aspinall2004-04-02
* Add get-window-with-predicate to perhaps solve issue with XEmacs.Gravatar David Aspinall2004-03-30
* Update email and web addressesGravatar David Aspinall2004-02-08
* Attempt to prevent recording of buffer switching history (display-buffer cann...Gravatar David Aspinall2003-06-08
* Give up on customize-menu-create on GNU EmacsGravatar David Aspinall2003-02-05
* Updated.Gravatar David Aspinall2003-01-29
* Add remassoc for FSF.Gravatar David Aspinall2003-01-29
* Fake customize menu create for latest Emacs release -- workaround new bug thereGravatar David Aspinall2002-12-29
* Add pg-custom-undeclare-variable.Gravatar David Aspinall2002-11-18
* Add subst-char-in-string (Monnier patch) for XEmacs.Gravatar David Aspinall2002-11-07
* Emulate :visible keywordGravatar David Aspinall2002-09-11
* Compatibility fixes from Stefan Monnier.Gravatar David Aspinall2002-08-28
* Add proof-shell-strip-crs-from-outputGravatar David Aspinall2002-08-07
* Autoload fixGravatar David Aspinall2002-08-07
* Move imagep compat code to splashGravatar David Aspinall2002-07-19
* Trivially simulate events-to-keysGravatar David Aspinall2002-07-19
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Add char-to-int and friends, borrowed from x-symbol-emacs.Gravatar David Aspinall2002-07-16
* 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-16 02:49:50 +0000