proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added todo for proof-issue-goal, proof-issue-save.	David Aspinall	1998-10-12
\|
*	Made toolbar functions interactive, needed by old XEmacs.	David Aspinall	1998-10-12
\|
*	Made toolbar functions interactive, needed by old XEmacs.	David Aspinall	1998-10-12
\|
*	Made toolbar functions interactive, needed by old XEmacs.	David Aspinall	1998-10-12
\|
*	Added compatibility hack for customize-menu-create.	David Aspinall	1998-10-12
\|
*	Removed setq proof-assistant	David Aspinall	1998-10-12
\|
*	Set version tag for release.	David Aspinall	1998-10-12
\|
*	Added message about bug in proof-shell-handle-output on FSF Emacs	David Aspinall	1998-10-12
\|
*	Added message about bug in proof-retract-until-point.	David Aspinall	1998-10-12
\|
*	Added sensible error message for attempting undo on empty locked region.	David Aspinall	1998-10-12
\|
*	Removed toolbar enablers. XEmacs isnt ready for them yet.	David Aspinall	1998-10-12
\|
*	Removed some stuff thats been done.	David Aspinall	1998-10-12
\|
*	Made defface's work for dark background Emacsen (default for FSF on Linux).	David Aspinall	1998-10-12
\|
*	Dox. Made proof-shell-exec-loop not complain about empty action list.	David Aspinall	1998-10-12
\|
*	Made toolbar functions leave point alone, mostly.	David Aspinall	1998-10-12
\|
*	Bug in variable names	David Aspinall	1998-10-12
\|
*	Added more stuff from todo	David Aspinall	1998-10-12
\|
*	Simplified appearance of buttons as suggested by tms.	David Aspinall	1998-10-12
\| \| \| \|	(Unfortunately new designs are a bit asymmetric)
*	Splash screen tries gif if jpeg not available. Using hack by tms	David Aspinall	1998-10-12
\|
*	Fixed typo.	David Aspinall	1998-10-12
\|
*	Important regular expression fixes:	David Aspinall	1998-10-12
\| \| \| \| \| \|	-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
*	Doc strings	David Aspinall	1998-10-12
\|
*	Toolbar featurep. Separate Internals menu. Doc strings.	David Aspinall	1998-10-12
\|
*	Removed proof-internal cus grp from proof group.	David Aspinall	1998-10-12
\|
*	added note about Emacs versions	David Aspinall	1998-10-12
\|
*	Customize also works in FSFmacs now	David Aspinall	1998-10-12
\|
*	Removed proof-shell-error-regexp's match on warnings -- wrong!	David Aspinall	1998-10-12
\|
*	Reordered some X's	David Aspinall	1998-10-12
\|
*	Customize group name: prover-config, not proof-config.	David Aspinall	1998-10-09
\|
*	Minor bug fixes, code, doc improvements.	David Aspinall	1998-10-09
\|
*	Addded todo for proof-quit-command. Doc string note	David Aspinall	1998-10-09
\|
*	Added todos for: rsh, multi file failure, multi file in Isabelle, splash.	David Aspinall	1998-10-09
\|
*	Added todos for: rsh, multi file failure, multi file in Isabelle, splash.	David Aspinall	1998-10-09
\|
*	Fixed branch.	David Aspinall	1998-10-09
\|
*	Added so-called 8bit gifs with reduced colours.	David Aspinall	1998-10-09
\|
*	Changed to build gif files for text logo.	David Aspinall	1998-10-09
\|
*	Changed banner to use gif files for text.	David Aspinall	1998-10-09
\|
*	Changed banner to use gif files for text.	David Aspinall	1998-10-09
\|
*	Deleted files.	David Aspinall	1998-10-09
\|
*	No longer needed.	David Aspinall	1998-10-09
\|
*	After having spent more than a day on implementing a package for	Thomas Kleymann	1998-10-09
\| \| \| \| \| \| \|	directed graphs, a five minute discussion with Dave has led to a revised specification for handling multiple files. This should be easier to implement and more efficient. Directed graphs are no longer required.
*	Validator fix	David Aspinall	1998-10-08
\|
*	Better summary line	David Aspinall	1998-10-08
\|
*	Added untag target for rebuilding on same day.	David Aspinall	1998-10-08
\|
*	Validator fixes	David Aspinall	1998-10-08
\|
*	Fixed Validator URLs	David Aspinall	1998-10-08
\|
*	Changed 'ln -sf' to 'rm ; ln' because link got put into directory.	David Aspinall	1998-10-08
\|
*	Added fixup to specfile because dcs.ed has old RPM installed.	David Aspinall	1998-10-08
\|
*	Now edits full version of name of release in download.html	David Aspinall	1998-10-08
\|
*	Set version tag for release.	David Aspinall	1998-10-08
\|