proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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 ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	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 ↵	David Aspinall	2000-09-21
\| \| \| \|	buffer-syntactic-context
*	Added bug fix section and patch for undefined	David Aspinall	2000-09-18
\| \| \| \|	font-lock-preprocessor-face in FSF Emacs.
*	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