index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-compat.el
Commit message (
Expand
)
Author
Age
*
Compatibility fixes from Stefan Monnier.
David Aspinall
2002-08-28
*
Add proof-shell-strip-crs-from-output
David Aspinall
2002-08-07
*
Autoload fix
David Aspinall
2002-08-07
*
Move imagep compat code to splash
David Aspinall
2002-07-19
*
Trivially simulate events-to-keys
David Aspinall
2002-07-19
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Add char-to-int and friends, borrowed from x-symbol-emacs.
David Aspinall
2002-07-16
*
Add definition of font-lock-preprocessor-face
David Aspinall
2002-07-02
*
Also use our own buffer-syntactic-context in XEmacs 21.4.
David Aspinall
2002-06-24
*
GPL
David Aspinall
2002-06-21
*
Added emultation of display-graphic-p for XEmacs
David Aspinall
2002-03-21
*
Add proof-emacs-imagep function for GNU Emacs 21.
David Aspinall
2001-12-11
*
Added implementation of remassq for FSF Emacs
David Aspinall
2001-08-30
*
Workaround for buffer-syntactic-context bug in XEmacs 21.1
David Aspinall
2001-08-10
*
Moved compat hack to proof-site
David Aspinall
2001-08-01
*
Add a dummy version of package-provide for FSFEmacs.
David Aspinall
2001-08-01
*
Add require for arch flags, cleaner compilation.
David Aspinall
2001-07-09
*
Move emacs version compatibility flags to proof-site.el
David Aspinall
2001-05-16
*
Copyright date updated
David Aspinall
2001-05-08
*
Removed blurry distinction between block-comment and comment in FSF's buffer-...
David Aspinall
2000-09-21
*
Added bug fix section and patch for undefined
David Aspinall
2000-09-18
*
Emulate buffer-syntactic-context on FSF Emacs
David Aspinall
2000-09-18
*
Added hack to completion.el to avoid adding every prefix as completion.
David Aspinall
2000-05-31
*
Added process-live-p
David Aspinall
2000-05-30
*
Added replace-string for FSF.
David Aspinall
2000-05-29
*
Moved compatibility code into proof-compat.el
David Aspinall
2000-05-26
*
New files
David Aspinall
2000-05-09