proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	New files.	David Aspinall	2008-01-25
\|
*	Back patch for XEmacs 21.4 on API change to add-hook.	David Aspinall	2008-01-25
\|
*	Back patch for XEmacs 21.4 on API change to add-hook.	David Aspinall	2008-01-25
\|
*	Deleted file	David Aspinall	2008-01-25
\|
*	New files.	David Aspinall	2008-01-25
\|
*	Clean	David Aspinall	2008-01-22
\|
*	New files.	David Aspinall	2008-01-22
\|
*	Docstring	David Aspinall	2008-01-17
\|
*	Support spans-at-region-prop.	David Aspinall	2008-01-17
\|
*	Avoid some compilation/warnings	David Aspinall	2008-01-17
\|
*	Tweak version differentiation for compilation	David Aspinall	2008-01-16
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Remove font lock settings for now	David Aspinall	2008-01-14
\|
*	New files.	David Aspinall	2008-01-13
\|
*	Fixed abbrev installation. + small fixes.	Pierre Courtieu	2008-01-03
\|
*	Allow blank lines in quoted regions again.	David Aspinall	2007-12-14
\|
*	Fix matching of quoted regions with empty lines	David Aspinall	2007-12-14
\|
*	Remove eval-when, seems unreliable	David Aspinall	2007-12-14
\|
*	Comments.	David Aspinall	2007-12-14
\|
*	Add eval-when	David Aspinall	2007-12-14
\|
*	Improvements (widget sketch; modeline). Logic still faulty.	David Aspinall	2007-12-13
\|
*	holes-skeleton-end-hook: no action if mmm-inside-insert-by-key bound	David Aspinall	2007-12-13
\|
*	Maths menu convenience	David Aspinall	2007-12-12
\|
*	Tune compatibility	David Aspinall	2007-12-12
\|
*	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.