proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Some changes for undoing with coq, handle user-defined tactics, in	Pierre Courtieu	2000-08-26
\| \| \| \|	coq/coq-syntax.el and coq/coq.el.
*	somme little changes to make undo work better	Pierre Courtieu	2000-06-22
\|
*	More decoration	David Aspinall	2000-04-07
\|
*	Altered syntax a little bit so reset works for Section.	David Aspinall	2000-03-19
\|
*	fixed some regexp via proof-anchor-regexp;	Makarius Wenzel	1999-07-02
\|
*	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
\|
*	several additions, as usual	Patrick Loiseleur	1999-05-17
\|
*	OrElse -> Orelse	Patrick Loiseleur	1999-05-03
\|
*	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
\|
*	Added note about removing proof-goal-command-p	David Aspinall	1998-11-12
\|
*	fixed bug with font-lock face names	Thomas Kleymann	1998-11-03
\|
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
\| \| \| \| \| \| \|	o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
*	Replaced remaining face defs with defface calls.	David Aspinall	1998-10-23
\| \| \| \| \|	Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Removed history	David Aspinall	1998-09-23
\|
*	Fixup branch number	David Aspinall	1998-09-09
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03