proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Added settings for silent control. Also some minor support for Section.	David Aspinall	2000-03-19
*	Added proof-shell-{start,stop}-silent-cmd.	David Aspinall	2000-03-14
*	Fixes for short output duplication problem: set proof-shell-eager-annotation-...	David Aspinall	2000-01-06
*	Use auto multiple files until something better comes along	David Aspinall	1999-11-16
*	Removed font-lock settings. Set proof-font-lock-zap-commas=t	David Aspinall	1999-11-15
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
*	Call proof-goals-config-done properly.	David Aspinall	1999-11-13
*	Set font-lock-keywords before calling proof-config-done.	David Aspinall	1999-11-12
*	fixed indentation bug: use proof-looking-at (proof-case-fold-search);	Makarius Wenzel	1999-11-10
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
*	This a try for commit, just changed the name of the maintainer of coq.el	Pierre Courtieu	1999-10-12
*	Fix for Unnamed_thm: Coq really uses this identifier.	David Aspinall	1999-10-06
*	More improvements/fixes for closing unfinished proofs.	David Aspinall	1999-10-06
*	Made new command proof-cd to cd to the directory of the current	David Aspinall	1999-10-06
*	Fixed proof-showproof-command	David Aspinall	1999-10-06
*	Fixed coq-interrupt-regexp.	David Aspinall	1999-10-06
*	Remove coq-Search function, now generic.	David Aspinall	1999-10-06
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	Disable proof-help-string, was set to an invalid command.	David Aspinall	1999-10-01
*	Set proof-find-theorems-command	David Aspinall	1999-09-23
*	proof-completed-regexp: match number 1 is response text;	Makarius Wenzel	1999-09-22
*	Failed attempt to prevent Coq from starting up with display of current direct...	David Aspinall	1999-09-13
*	Set proof-{qed,save}-commands.	David Aspinall	1999-09-13
*	Missing parentheses added. Docstring fix.	David Aspinall	1999-06-30
*	last commit for 2.1	Patrick Loiseleur	1999-06-30
*	better syntax	Patrick Loiseleur	1999-06-16
*	Various updates. coq-end-Section now works properly.	Patrick Loiseleur	1999-06-14
*	various fixes	Patrick Loiseleur	1999-06-08
*	renamed proof-commands-regexp to proof-indent-commands-regexp, which	Makarius Wenzel	1999-05-27
*	closed string in comment;	Makarius Wenzel	1999-05-26
*	I've added the custom option 'prog-name-guess' in the generic part and	Patrick Loiseleur	1999-05-17
*	proof-list-global is disabled (must be rewritten)	Patrick Loiseleur	1999-05-03
*	Added the correct proof-shell-restart-cmd	Patrick Loiseleur	1999-04-20
*	Merged changes sent by Patrick Loiseleur.	David Aspinall	1999-04-07
*	Comments from Healf explaining need for coq-goal-command-p	David Aspinall	1999-02-22
*	fixed syntax entry for "_"	Thomas Kleymann	1999-02-03
*	Use proof-string-match in (hopefully) appropriate places	David Aspinall	1999-02-01
*	radical new version of Credits and References section	Thomas Kleymann	1998-12-15
*	made many minor changes to the documentation	Thomas Kleymann	1998-12-15
*	Added note about removing proof-goal-command-p	David Aspinall	1998-11-12
*	Removed references of proof-shell-noise-regexp	Thomas Kleymann	1998-11-10
*	fixed minor bugs	Thomas Kleymann	1998-11-02
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
*	Renamed proof-invisible-command proof-shell-invisible-command.	David Aspinall	1998-10-27
*	Change to proof-shell-ready-prover	David Aspinall	1998-10-26
*	Added proof-mode-for-script setting.	David Aspinall	1998-10-23
*	support for nested goals is now restricted to Coq	Thomas Kleymann	1998-10-18
*	Removed coq-settings defgroup, changed to coq.	David Aspinall	1998-10-07