proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	* empty log message *	Christophe Raffalli	2000-09-18
\|
*	various fixes.	Christophe Raffalli	2000-09-15
\| \| \| \|	.
*	major modifications including outline, atgs, ...	Christophe Raffalli	2000-09-15
\|
*	outline minior mode definitions for af2	Christophe Raffalli	2000-09-15
\|
*	font-lock and sym-lock definitions for af2	Christophe Raffalli	2000-09-15
\|
*	tags functions for af2	Christophe Raffalli	2000-09-15
\|
*	usefull function definitions for af2	Christophe Raffalli	2000-09-15
\|
*	Add removal of state button as test example. Replace af2-with-xemacs -> ↵	David Aspinall	2000-09-13
\| \| \| \|	proof-running-on-XEmacs.
*	Add trivial test command.	David Aspinall	2000-09-13
\|
*	Rather empty example.	David Aspinall	2000-09-12
\|
*	Add syntax config for block comments, and remove path from af2-prog-name.	David Aspinall	2000-09-12
\|
*	New version sent by Christophe.	David Aspinall	2000-09-12
\|
*	New prover, first bash.	David Aspinall	2000-09-11