proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Fix incorrect assumption that noninteractive == byte-compiling	Clément Pit--Claudel	2017-03-08
\| \| \| \| \|	The PG Makefile does ensure (using --batch) that noninteractive is non-nil while compiling, but package.el doesn't.
*	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel	2016-09-18
\|
*	Update PG's logo	Clément Pit--Claudel	2016-05-24
\| \| \| \| \| \| \|	The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks!
*	rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}	Hendrik Tews	2013-05-22
\| \| \| \|	to fix #472
*	lower cpu utilization of splash screen, see Debian bug #642048	Hendrik Tews	2012-01-14
\|
*	Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵	David Aspinall	2011-10-13
\| \| \| \|	interactive-p with called-interactively-p)
*	No compile warning if image-size not available	David Aspinall	2010-10-06
\|
*	Fix bug in define-key for mouse-3.	David Aspinall	2010-08-22
\|
*	Revert to 10.1 version of splash, with enhancements.	David Aspinall	2010-08-11
\|
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Temporarily disable splash	David Aspinall	2010-08-03
\|
*	Attempt to handle splash buffer cleanly.	David Aspinall	2009-09-07
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Further simplification	David Aspinall	2009-09-04
\|
*	Simplify splash using view-mode and newer Emacs variables.	David Aspinall	2009-09-04
\| \| \| \| \|	Remove timeout from About usage to avoid confusion with disappearing window with mouse events.
*	Add links to splash menu	David Aspinall	2008-08-03
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Splash for a bit longer: people complain its too short	David Aspinall	2008-01-17
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall	2008-01-15
\| \| \| \| \| \| \|	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*	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
\|