proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Cleanup	David Aspinall	2007-12-10
\|
*	Fix parens	David Aspinall	2007-12-10
\|
*	texi-docstring-magic-insert-magic: fix for GNU Emacs name: ↵	David Aspinall	2007-12-10
\| \| \| \|	function-called-at-point
*	span-give-warning: consistency with span-overlay.el	David Aspinall	2007-12-10
\|
*	Avoid compilation error	David Aspinall	2007-08-19
\|
*	Renamed file	David Aspinall	2007-05-11
\|
*	Emulate find-coding-system for GNU Emacs	David Aspinall	2007-05-10
\|
*	Patch x-symbol problem with XEmacs beta	David Aspinall	2007-01-20
\|
*	Support older version of define-minor-mode	David Aspinall	2006-12-19
\|
*	Rationalise testing for different values of window-system, to/and support ↵	David Aspinall	2006-10-27
\| \| \| \|	more Emacs ports easily
*	Tweaks to buffer history mode. Still intermediate version.	David Aspinall	2006-09-24
\|
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Fix typo.	David Aspinall	2006-09-22
\|
*	Add workaround for GNU Emacs problems in easymenu-add.	David Aspinall	2006-09-22
\|
*	sit-for is indeed in subr.el, must be careful to load right	David Aspinall	2006-08-23
\| \| \| \|	libraries...
*	Compatibility for GNU Emacs CVS losing sit-for	David Aspinall	2006-08-23
\| \| \| \|	(this will break much code, isn't it in some .el file?)
*	Comments and docstring fixes in lib and generic.	Pierre Courtieu	2006-08-23
\|
*	Started the coq-insert-tactic.	Pierre Courtieu	2006-08-21
\|
*	continue on the support for local variables list semi-automatic	Pierre Courtieu	2006-08-17
\| \| \| \| \|	insertion. I put a new file in lib with basic tools for file variables lists.
*	commit of a small patch from Stefan Monnier, to fix a small bug of	Pierre Courtieu	2006-01-10
\| \| \| \|	drag-mouse-region with holes.
*	Updated.	David Aspinall	2005-09-30
\|
*	Renamed file	David Aspinall	2005-09-30
\|
*	Renamed file	David Aspinall	2005-09-30
\|
*	Comments.	David Aspinall	2005-09-30
\|
*	Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer ↵	David Aspinall	2005-09-27
\| \| \| \|	tabs hack.
*	- Remove wrong docstring on make-detached-span.	David Aspinall	2005-05-17
\| \| \| \| \| \| \|	- Basically rewrite span-overlay.el to better use the built-in overlay facilities. - Complain about the namespace pollution in span*.el.
*	Deleted file	David Aspinall	2005-05-17
\|
*	debugging and cleaning of holes.el.	Pierre Courtieu	2005-03-10
\|
*	small modifications, updating doc string of holes.el.	Pierre Courtieu	2005-03-08
\|
*	making holes.el cleaner, with the help of Stefan Monnier. I had to	Pierre Courtieu	2005-03-08
\| \| \| \|	adapt coq.el to these modifications.
*	cleaning holes.el, starting to making it compatible with skeletons.	Pierre Courtieu	2005-03-01
\|
*	debugging of holes.el.	Pierre Courtieu	2005-03-01
\|
*	Debugging holes.el, starting trying to use skeletons.	Pierre Courtieu	2005-02-21
\|
*	Cleaning file holes.el (tab-width, docstring etc).	Pierre Courtieu	2005-02-21
\|
*	Updated the doc for new pg/coq. Made modifications advised by Stefan	Pierre Courtieu	2005-02-17
\| \| \| \|	Monnier on holes.el.
*	debugging the new holes-mode for fsf emacs. Keyboard shortcuts was	Pierre Courtieu	2005-02-16
\| \| \| \|	badly defined.
*	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