aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-compat.el
AgeCommit message (Expand)Author
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 disp...David Aspinall
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 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-14 09:02:11 +0000