proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added to repository for convenience.	David Aspinall	1998-10-07
\|
*	Added for convenience.	David Aspinall	1998-10-07
\|
*	Makefile for generating various image formats.	David Aspinall	1998-10-07
\|
*	Added to repository for convenience.	David Aspinall	1998-10-07
\|
*	Added text logos.	David Aspinall	1998-10-07
\|
*	Colorised the general!	David Aspinall	1998-10-07
\|
*	Fixed validation errors. Added screenshot page.	David Aspinall	1998-10-07
\|
*	Rough copyright notice cribbed from cwb	David Aspinall	1998-10-07
\|
*	Note about COPYING.	David Aspinall	1998-10-07
\|
*	da> BTW, the menus have disappeared!	Thomas Kleymann	1998-10-05
\| \| \| \|	They are back courtesy of reintroducing an easy-menu-add call.
*	Moved menu definition back into proof-config-done.	David Aspinall	1998-10-02
\|
*	Added automatic editing of download.html	David Aspinall	1998-10-02
\|
*	Removed Emacs versions to more transient place	David Aspinall	1998-10-02
\|
*	Major revision after business lunch with da	Thomas Kleymann	1998-10-02
\|
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	Removed erroneous mention of an elisp directory	David Aspinall	1998-10-02
\|
*	Top-level README for distribution.	David Aspinall	1998-10-02
\|
*	Removed duff key bindings	David Aspinall	1998-10-02
\|
*	Added $ to coq automode regexp	David Aspinall	1998-10-02
\|
*	Improved (internal) documentation of multiple file handling	Thomas Kleymann	1998-10-02
\|
*	put isabelle-users address in alphabetic order	Thomas Kleymann	1998-10-02
\|
*	Added todo for proof-goal-command, proof-save-command	David Aspinall	1998-10-02
\|
*	added LEGO support for proof-goal-command and proof-save-command	Thomas Kleymann	1998-10-02
\|
*	Added isabelle-users, mentioned toolbar.	David Aspinall	1998-10-02
\|
*	draft for first pre-release	Thomas Kleymann	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Removed top-level "dist" directory from RELEASEDIR.	David Aspinall	1998-10-01
\|
*	Fixed for new header in coqtags.	David Aspinall	1998-10-01
\|
*	Removed troublesome $Id$ header from .patch file: was getting	David Aspinall	1998-10-01
\| \| \| \|	expanded by cvs! Really this file should be marked as "binary."
*	Adjusted for older rpm	David Aspinall	1998-10-01
\|
*	Updated for new path in coqtags	David Aspinall	1998-10-01
\|
*	Added todo for next/previous functions.	David Aspinall	1998-10-01
\|
*	Added notes about toolbar and retract buglets.	David Aspinall	1998-10-01
\|
*	Replaced string COMMENT by constant proof-no-command.	David Aspinall	1998-10-01
\|
*	Added documentation for user-level functions.	David Aspinall	1998-10-01
\|
*	Changed configuration. Added goal-command and save-command.	David Aspinall	1998-10-01
\|
*	Added doc strings	David Aspinall	1998-10-01
\|
*	Added qed button. Fixed enabler predicates.	David Aspinall	1998-10-01
\|
*	Added docstrings and comments.	David Aspinall	1998-10-01
\| \| \| \| \| \| \|	Removed last of "not authorized for this documentation" nonsense. Replaced constant string "COMMENT" by proof-no-command. Begun work on new functions: proof-{next,previous}-matching-command. Work on proof-issue-goal, proof-issue-save (rough edges left as FIXMEs).
*	Updated.	David Aspinall	1998-10-01
\|
*	Renamed file	David Aspinall	1998-10-01
\|
*	Added new images	David Aspinall	1998-10-01
\|
*	coqtags is now Perl5 compatible - courtesy of hhg	Thomas Kleymann	1998-10-01
\|
*	Removed pdf target so build works on standard DCS machines.	David Aspinall	1998-09-24
\|
*	Removed xcf files and image notes from distrib.	David Aspinall	1998-09-24
\|
*	Added RPM targets	David Aspinall	1998-09-24
\|
*	Added X-rated item about distribution Makefile.	David Aspinall	1998-09-24
\|
*	Moved info file and binaries to proper places.	David Aspinall	1998-09-24
\|
*	Added INFO-DIR entry	David Aspinall	1998-09-24
\|
*	Moved to /usr/lib/emacs	David Aspinall	1998-09-24
\|