proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Some experimental code added	David Aspinall	1998-10-28
\|
*	Added low-level priority todo	David Aspinall	1998-10-28
\|
*	Begun rewriting docs	David Aspinall	1998-10-28
\|
*	Added autoload for proof-shell-available-p	David Aspinall	1998-10-28
\|
*	Added proof-toolbar-follow-mode user option and functions to support	David Aspinall	1998-10-28
\| \| \| \|	it. Removed require on proof-shell from proof-toolbar.
*	Added customize group for Proof General faces and fixed other	David Aspinall	1998-10-28
\| \| \| \|	groups in proof-config.
*	Fixed bug in Isabelle count undos. Now uses undo instead of choplev.	David Aspinall	1998-10-28
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	rearranged code to avoid compiler warning messages	Thomas Kleymann	1998-10-28
\|
*	Comments	David Aspinall	1998-10-27
\|
*	Added generic target <develtarget>.devel	David Aspinall	1998-10-27
\|
*	Byte comp item	David Aspinall	1998-10-27
\|
*	Continuing mods for cleaner byte compile	David Aspinall	1998-10-27
\|
*	Mods for cleaner byte compile	David Aspinall	1998-10-27
\|
*	Removed junk from cvs merge	David Aspinall	1998-10-27
\|
*	Splash screen added back. Put in Xemacs test for noninteractive to	David Aspinall	1998-10-27
\| \| \| \|	fix odd arithmetic error during byte compile.
*	More fixes for cleaner byte compile.	David Aspinall	1998-10-27
\|
*	Removed eval-when-compile around define-derived-mode, it don't work.	David Aspinall	1998-10-27
\|
*	Made handling of multiple files more robust. On changing script	Thomas Kleymann	1998-10-27
\| \| \| \| \|	buffers, we invoke (save-some-buffers). Furthermore, we warn the user if modified buffers have been read in by the proof assistant.
*	Fixed up proof-script.el for clean byte compile	David Aspinall	1998-10-27
\|
*	typo	David Aspinall	1998-10-27
\|
*	Fix of byte compiler warnings for proof-script.el.	David Aspinall	1998-10-27
\|
*	Demoted some priorities to X and moved down list	David Aspinall	1998-10-27
\|
*	Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.	David Aspinall	1998-10-27
\|
*	Fixes for clean byte compile	David Aspinall	1998-10-27
\|
*	Improved ELC setting. Added 'make all' target to compile .elcs separately.	David Aspinall	1998-10-27
\|
*	Added more comments to proof-activate-scripting	David Aspinall	1998-10-27
\|
*	Added instructions for byte compilation, and other notes.	David Aspinall	1998-10-27
\|
*	Added FIXME question about moving point.	David Aspinall	1998-10-27
\|
*	Removed bug introduced by da trying to do clever optimizations	David Aspinall	1998-10-27
\|
*	Temp disable splash	David Aspinall	1998-10-27
\|
*	Fixed assert-until-point for ignore-process case	David Aspinall	1998-10-27
\|
*	Added devel targets for convenience	David Aspinall	1998-10-27
\|
*	Fixup repository mess	David Aspinall	1998-10-27
\|
*	Makefile for distribution. Devel now uses 'make -f Makefile.devel <args>'	David Aspinall	1998-10-27
\|
*	Renamed file	David Aspinall	1998-10-27
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Priority changes	David Aspinall	1998-10-27
\|
*	Fixed urgent message stuff. proof-shell-process-urgent-messages	David Aspinall	1998-10-27
\| \| \| \|	now seems to correctly observe all messages which pass through.
*	Checked through span code. Commented out dead bits	David Aspinall	1998-10-27
\|
*	Renamed proof-invisible-command proof-shell-invisible-command.	David Aspinall	1998-10-27
\| \| \| \| \| \| \|	Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue.
*	Work on Isabelle theory reader.	David Aspinall	1998-10-27
\|
*	* empty log message *	Thomas Kleymann	1998-10-26
\|
*	Updated	David Aspinall	1998-10-26
\|
*	Hacks in process filter, simplified locking functions.	David Aspinall	1998-10-26
\|
*	Removed a newline	David Aspinall	1998-10-26
\|
*	Added suggested outline for improved texi	David Aspinall	1998-10-26
\|
*	Fix buglet for when script buffer has no filename.	David Aspinall	1998-10-26
\|
*	Moved proof-message to proof shell, renamed to proof-shell-message.	David Aspinall	1998-10-26
\| \| \| \|	Removed redundant variables in proof-shell-popup-eager-annotation.