proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	unified example with other proof assistants;	Makarius Wenzel	1999-09-24
*	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
*	Cleaned up example files so all demonstrate same theorem "conj_comms".	David Aspinall	1999-09-13
*	Set proof-{qed,save}-commands.	David Aspinall	1999-09-13
*	Updated from Coq 6.3 distrib.	David Aspinall	1999-08-23
*	Updates suggested by Markus and Patrick for Coq 6.3.	David Aspinall	1999-08-23
*	fixed some regexp via proof-anchor-regexp;	Makarius Wenzel	1999-07-02
*	Missing parentheses added. Docstring fix.	David Aspinall	1999-06-30
*	last commit for 2.1	Patrick Loiseleur	1999-06-30
*	keywords of coq 6.3	Patrick Loiseleur	1999-06-30
*	Hints Resolve	Patrick Loiseleur	1999-06-21
*	better syntax	Patrick Loiseleur	1999-06-16
*	Various updates. coq-end-Section now works properly.	Patrick Loiseleur	1999-06-14
*	More colors, more regexps, more keywords	Patrick Loiseleur	1999-06-09
*	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
*	several additions, as usual	Patrick Loiseleur	1999-05-17
*	OrElse -> Orelse	Patrick Loiseleur	1999-05-03
*	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
*	A few coloring tricks	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 bug with font-lock face names	Thomas Kleymann	1998-11-03
*	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