proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Added prefixes in custom defgroups.	David Aspinall	1998-10-29
*	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
*	Added customize group for Proof General faces and fixed other	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
*	Continuing mods for cleaner byte compile	David Aspinall	1998-10-27
*	Splash screen added back. Put in Xemacs test for noninteractive to	David Aspinall	1998-10-27
*	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
*	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
*	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
*	Added more comments to proof-activate-scripting	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
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
*	Fixed urgent message stuff. proof-shell-process-urgent-messages	David Aspinall	1998-10-27
*	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
*	Hacks in process filter, simplified locking functions.	David Aspinall	1998-10-26
*	Removed a newline	David Aspinall	1998-10-26
*	Moved proof-message to proof shell, renamed to proof-shell-message.	David Aspinall	1998-10-26
*	Moved proof-message to proof shell, renamed to proof-shell-message.	David Aspinall	1998-10-26
*	Note about bogus compiler warning	David Aspinall	1998-10-26
*	Splash screen now works for FSF	David Aspinall	1998-10-26
*	proof-splash: fixed layout of display, added more images and	David Aspinall	1998-10-26
*	proof-check-process-available replaced by two functions:	David Aspinall	1998-10-26
*	Moved proof-file-to-buffer to proof-script.el	David Aspinall	1998-10-23
*	Corrected doc of proof-check-process-available	David Aspinall	1998-10-23
*	Added support for locking Isabelle .thy files blue.	David Aspinall	1998-10-23
*	Added note about mode symbols	David Aspinall	1998-10-23
*	Added proof-mode-for-script setting.	David Aspinall	1998-10-23
*	Replaced remaining face defs with defface calls.	David Aspinall	1998-10-23
*	Set version tag for new release.	Thomas Kleymann	1998-10-22
*	Added deffaces to proof-config	David Aspinall	1998-10-22
*	Added new predicates: proof-locked-region-{empty,full}-p	David Aspinall	1998-10-22
*	Separated splash screen code	David Aspinall	1998-10-22
*	Separated splash screen code	David Aspinall	1998-10-22
*	Moved user options into proof-config	David Aspinall	1998-10-22
*	Added todo for clean byte compile	David Aspinall	1998-10-22
*	Split proof.el into proof-config.el, proof-script.el, proof-shell.el	David Aspinall	1998-10-22
*	renamed fume-match-find-next-function-name	Thomas Kleymann	1998-10-22
*	fixed bug in fume-match-find-next-function-name	Thomas Kleymann	1998-10-22