proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Modified holes doc string to fit to new shortcut of holes-mode.	Pierre Courtieu	2005-02-15
\|
*	Finished making holes.el a real minor-mode. There is a new file	Pierre Courtieu	2005-02-15
\| \| \| \| \| \| \| \| \|	holes-load.el which defines the autoloads (enough of them?). All functions have the prefix "holes-", and offending keyboard shortcuts have been either removed or bound to the minor mode. I made holes-mode minor mode automatically turned on in all proof buffers in coq mode (including shell, script and response buffers as it may be useful to copy paste parts of this buffers into holes).
*	cleaning holes.el. All functions are prefixed with "holes-". Also	Pierre Courtieu	2005-02-14
\| \| \| \|	modified coq.el and coq-abbrev.el accordingly.
*	Starting to clean holes.el following Stefan Monnier's advices. Making	Pierre Courtieu	2005-02-14
\| \| \| \|	holes a real minor-mode.
*	Documentation.	David Aspinall	2004-10-05
\|
*	New files.	David Aspinall	2004-08-25
\|
*	Renamed file	David Aspinall	2004-08-25
\|
*	New files.	David Aspinall	2004-08-25
\|
*	Renamed file	David Aspinall	2004-08-25
\|
*	Revert to version distributed with GNU Emacs and XEmacs, but patched	David Aspinall	2004-08-25
\| \| \| \|	for empty tag parse bug.
*	Renamed file	David Aspinall	2004-08-25
\|
*	New files.	David Aspinall	2004-08-25