proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1998-08-11	Renamed <file>-fontlock to <file>-syntax	David Aspinall

1998-06-10	Changed "\\s " to "\\s-" in proof-id as whitespace pattern.	Healfdene Goguen

1998-05-29	o outsourced indentation to proof-indent	Thomas Kleymann
	o support indentation of commands o replaced test of Emacs version with availability test of specific features o C-c C-c, C-c C-v and M-tab is now available in all buffers
1998-05-06	Fixed problem introduced by working on emacs19 in	Healfdene Goguen
	proof-zap-commas-region.
1998-05-05	Simple white-space changes.	Healfdene Goguen

1998-01-16	Commented the code of proof.el and lego.el a bit. Made a minor change	Dilip Sequiera
	to the way errors are handled, so that any delayed output is inserted in the buffer before the error message is printed.
1997-11-17	Added some magic commands: proof-frob-locked-end, proof-try-command,	Dilip Sequiera
	proof-interrupt-process. Added moving nested lemmas above goal for coq. Changed the key mapping for assert-until-point to C-c RET.
1997-10-13	* empty log message *	Thomas Kleymann