proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add compatilibity for declare-function in Emacs 22.1	David Aspinall	2009-09-09
\|
*	proof-buffer-syntactic-context-emulate: use caching syntax-ppss	David Aspinall	2009-09-06
\| \| \| \|	instead of parse-partial-sexp
*	Fix compile warnings	David Aspinall	2009-09-06
\|
*	Add characterp for Emacs 22	David Aspinall	2009-09-05
\|
*	Tidy whitespace	David Aspinall	2009-09-05
\|
*	replace-in-string -> replace-regexp-in-string	David Aspinall	2009-09-04
\|
*	Remove further unnecessary compatibility code.	David Aspinall	2009-09-04
\|
*	Cleanup more Emacs compatibility	David Aspinall	2009-05-27
\|
*	Remove process-live-p, move complete autoload to use point	David Aspinall	2009-05-26
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Add buffer-substring-no-properties in case of older Emacs versions	David Aspinall	2008-01-29
\|
*	Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not bound	David Aspinall	2008-01-28
\|
*	Back patch for XEmacs 21.4 on API change to add-hook.	David Aspinall	2008-01-25
\|
*	Back patch for XEmacs 21.4 on API change to add-hook.	David Aspinall	2008-01-25
\|
*	Avoid some compilation/warnings	David Aspinall	2008-01-17
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Remove eval-when, seems unreliable	David Aspinall	2007-12-14
\|
*	Add eval-when	David Aspinall	2007-12-14
\|
*	Tune compatibility	David Aspinall	2007-12-12
\|
*	Emulate find-coding-system for GNU Emacs	David Aspinall	2007-05-10
\|
*	Patch x-symbol problem with XEmacs beta	David Aspinall	2007-01-20
\|
*	Rationalise testing for different values of window-system, to/and support ↵	David Aspinall	2006-10-27
\| \| \| \|	more Emacs ports easily
*	Add workaround for GNU Emacs problems in easymenu-add.	David Aspinall	2006-09-22
\|
*	sit-for is indeed in subr.el, must be careful to load right	David Aspinall	2006-08-23
\| \| \| \|	libraries...
*	Compatibility for GNU Emacs CVS losing sit-for	David Aspinall	2006-08-23
\| \| \| \|	(this will break much code, isn't it in some .el file?)
*	Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer ↵	David Aspinall	2005-09-27
\| \| \| \|	tabs hack.
*	Renamed file	David Aspinall	2004-08-25