proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Add proof-general-version-year	David Aspinall	2005-07-15
*	Missing proof-compat in proof-splash	David Aspinall	2005-07-15
*	Add patch by Stefan Monnier to revert frame titles (although would have liked...	David Aspinall	2005-02-13
*	Use proof-general-short-version	David Aspinall	2004-08-25
*	Spurious "'s	David Aspinall	2004-04-16
*	Set frame title format to [Prover] Proof General: buffer.	David Aspinall	2004-04-15
*	Update (C)	David Aspinall	2004-02-18
*	Fix domain name	David Aspinall	2003-12-11
*	Check display is really available: XEmacs now defines device-pixel-depth even...	David Aspinall	2003-06-13
*	Bury splash buffer instead of merely switching away from it.	David Aspinall	2003-03-17
*	Improve removal of display of splash screen. Buffer still not killed (XEmacs...	David Aspinall	2003-03-16
*	Kludge for key-press during loading problem with splash screen.	David Aspinall	2003-03-14
*	Update dates	David Aspinall	2003-03-10
*	Fix Non-X frame error on Emacs 21	David Aspinall	2003-03-06
*	Dont restore window config if it seems like a different frame was used.	David Aspinall	2002-08-30
*	Try to avoid old setting proof-splash-extensions.	David Aspinall	2002-08-29
*	Make proof-splash-extensions defconst instead of defcustom	David Aspinall	2002-08-29
*	Disable pop-up-frames for splash.	David Aspinall	2002-08-28
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
*	Move imagep compat code to splash	David Aspinall	2002-07-19
*	Robustify form GNU Emacs	David Aspinall	2002-06-30
*	GPL	David Aspinall	2002-06-21
*	Year changes	David Aspinall	2002-03-21
*	Add support for Emacs 21 image display.	David Aspinall	2001-12-11
*	Remove dependent setting of timeout, since bin calls different fn now.	David Aspinall	2001-08-28
*	Trivial	David Aspinall	2001-08-28
*	Remove mention of toolbar variable. Make timeouts vary according to how star...	David Aspinall	2001-08-28
*	Timeout happens as intended now, while loading some parts of PG.	David Aspinall	2001-08-28
*	* empty log message *	Christophe Raffalli	2001-07-25
*	Various changes for win32 compatibility	Christophe Raffalli	2001-07-25
*	Display screen only if called interactively	David Aspinall	2001-05-29
*	Move configuration from proof-config here. Make proof-splash-message display...	David Aspinall	2001-05-16
*	change for Emacs compatibility and FSF/Xemacs update. Copyright update.	David Aspinall	2001-05-03
*	Make proof-splash-message autoload.	David Aspinall	2000-07-12
*	Extra arg to proof-splash-display-screen to serve as an About box.	David Aspinall	2000-05-11
*	Splash screen now shown from autoloaded function.	David Aspinall	2000-05-09
*	Update copyright dates, comments.	David Aspinall	2000-04-04
*	Added proof-splash-message.	David Aspinall	1999-11-15
*	Reorganized user options. Special new code for boolean settings.	David Aspinall	1999-11-10
*	Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.	David Aspinall	1998-12-10
*	Moved some settings to proof-config.	David Aspinall	1998-11-25
*	(Failed) Attempt to recognize XEmacs with broken jpeg support	David Aspinall	1998-11-06
*	Customization group and type fixes	David Aspinall	1998-11-03
*	Crudely hacked Isabelle image onto splash screen.	David Aspinall	1998-10-29
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
*	Splash screen added back. Put in Xemacs test for noninteractive to	David Aspinall	1998-10-27
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
*	Removed a newline	David Aspinall	1998-10-26
*	proof-splash: fixed layout of display, added more images and	David Aspinall	1998-10-26
*	Separated splash screen code	David Aspinall	1998-10-22