proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Remove low color-depth images; use GNU Emacs-specific toolbar images	David Aspinall	2007-12-12
\|
*	Comments.	David Aspinall	2007-12-10
\|
*	Update bug report locations	David Aspinall	2007-12-09
\|
*	Rationalise testing for different values of window-system, to/and support ↵	David Aspinall	2006-10-27
\| \| \| \|	more Emacs ports easily
*	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 ↵	David Aspinall	2005-02-13
\| \| \| \|	liked to keep them maybe)
*	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 ↵	David Aspinall	2003-06-13
\| \| \| \|	even on terminals.
*	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 ↵	David Aspinall	2003-03-16
\| \| \| \|	(XEmacs prob)
*	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 ↵	David Aspinall	2001-08-28
\| \| \| \|	started.
*	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 ↵	David Aspinall	2001-05-16
\| \| \| \|	display logo or print message.
*	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
\| \| \| \|	fix odd arithmetic error during byte compile.