proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added autoload	David Aspinall	2000-06-01
\|
*	Allow two strings for boolean settings to handle non-uniformity in Coq	David Aspinall	2000-06-01
\|
*	Changed 'complete to 'proof-script-complete to use proof-case-fold-search.	David Aspinall	2000-06-01
\|
*	Fix keybinding for completion. Add completion to menubar.	David Aspinall	2000-05-31
\|
*	New stuff for making proof assistant settings.	David Aspinall	2000-05-29
\|
*	Binding for complete.	David Aspinall	2000-05-26
\| \| \| \|	Proper toggler use for generic option x symbol enable.
*	Clarify favourites command: key sequence will begin with C-c C-a.	David Aspinall	2000-05-17
\|
*	Fix buttons must be 3 long error	David Aspinall	2000-05-16
\|
*	Fixes for defining favourites, added warning for pre-release users.	David Aspinall	2000-05-16
\|
*	Use (proof-ass X) instead of function call.	David Aspinall	2000-05-12
\|
*	Specific keys begin C-c C-a, not C-c a.	David Aspinall	2000-05-12
\|
*	Moved utility functions to proof-utils.	David Aspinall	2000-05-12
\|
*	Menus and code cleanup	David Aspinall	2000-05-11
\|
*	Fixup menus.	David Aspinall	2000-05-09
\|
*	Fixup loading.	David Aspinall	2000-05-09
\|
*	New files	David Aspinall	2000-05-09