proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\| \| \| \|	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.
*	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
\| \| \| \|	Removed redundant variables in proof-shell-popup-eager-annotation.
*	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. Fixed bug in proof-detach-segments called with optional argument (but it's never used?) Fixed bug in proof-issue-{goal,save} with function value for proof-{goal,save}-command.
*	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
\| \| \| \|	customizability, made FSF compatible.
*	proof-check-process-available replaced by two functions:	David Aspinall	1998-10-26
\| \| \| \| \|	proof-activate-scripting proof-shell-ready-prover
*	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
\| \| \| \| \|	Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
*	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
\| \| \| \|	proof-only-whitespace-to-locked-region-p
*	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
\|
*	o Replaced proof-register-new-processed-file by -possibly-new- variant.	David Aspinall	1998-10-21
\| \| \| \| \| \|	o Allowed proof-shell-process-file function to return nil o Fixed bug (missing declaration of 'file') in proof-shell-process-urgent-message
*	no longer displays important messages about file assertion/retraction	Thomas Kleymann	1998-10-21
\|
*	Improved maintainability of code in proof-check-process-available.	David Aspinall	1998-10-21
\|
*	fixed a bug in `proof-check-process-available'	Thomas Kleymann	1998-10-21
\|
*	o made buffer-file-truename even safer	Thomas Kleymann	1998-10-21
\| \| \| \|	o fixed bug in ...-check-...
*	o Improved error messages	Thomas Kleymann	1998-10-21
\| \| \| \|	o Fixed bug in proof-toolbar-next
*	Added code to register fully processed file. Multiple file fix list updated	David Aspinall	1998-10-21
\|
*	Fixed info directory setting so more robust and works for FSF GNU Emacs	David Aspinall	1998-10-21
\|
*	Changed from forcing w3 to using customizable browse-url	David Aspinall	1998-10-21
\|
*	Added proof-activate-scripting-hook and fixed regexps	David Aspinall	1998-10-21
\|
*	Set version tag for new release.	David Aspinall	1998-10-20
\|
*	Changed minibuffer tag to have name of prover instead of Proof	David Aspinall	1998-10-20
\|
*	Changed for proof-script-buffer to proof-script-buffer-list	David Aspinall	1998-10-20
\|
*	Bug fixes for multiple file code, da/tms.	David Aspinall	1998-10-19
\|
*	support for nested goals is now restricted to Coq	Thomas Kleymann	1998-10-18
\|