aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-compat.el
AgeCommit message (Collapse)Author
2004-08-25Renamed fileDavid Aspinall
2004-08-25Add architecture flags; comments.David Aspinall
2004-04-26Add compatibility hack for Emacs 21.2.1 customize-menu-createDavid Aspinall
2004-04-18Add save-selected-frame for GNU EmacsDavid Aspinall
2004-04-15Comment out pg-customize-menu-createDavid Aspinall
2004-04-02Add various GNU <-> XE compatibility functions for display.David Aspinall
2004-03-30Add get-window-with-predicate to perhaps solve issue with XEmacs.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-06-08Attempt to prevent recording of buffer switching history (display-buffer ↵David Aspinall
cannot be stopped, sadly)
2003-02-05Give up on customize-menu-create on GNU EmacsDavid Aspinall
2003-01-29Updated.David Aspinall
2003-01-29Add remassoc for FSF.David Aspinall
2002-12-29Fake customize menu create for latest Emacs release -- workaround new bug thereDavid Aspinall
2002-11-18Add pg-custom-undeclare-variable.David Aspinall
2002-11-07Add subst-char-in-string (Monnier patch) for XEmacs.David Aspinall
2002-09-11Emulate :visible keywordDavid Aspinall
2002-08-28Compatibility fixes from Stefan Monnier.David Aspinall
2002-08-07Add proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Autoload fixDavid Aspinall
2002-07-19Move imagep compat code to splashDavid Aspinall
2002-07-19Trivially simulate events-to-keysDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output ↵David Aspinall
display.
2002-07-16Add char-to-int and friends, borrowed from x-symbol-emacs.David Aspinall
2002-07-02Add definition of font-lock-preprocessor-faceDavid Aspinall
2002-06-24Also use our own buffer-syntactic-context in XEmacs 21.4.David Aspinall
2002-06-21GPLDavid Aspinall
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 ↵David Aspinall
buffer-syntactic-context
2000-09-18Added bug fix section and patch for undefinedDavid Aspinall
font-lock-preprocessor-face in FSF Emacs.
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-01 07:57:52 +0000