proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Patch for buggy derived.el in XEmacs 21.5.b28	David Aspinall	2007-12-09
\|
*	Comments.	David Aspinall	2007-12-09
\|
*	Set version tag for new release.	David Aspinall	2007-11-12
\|
*	defconst proof-warning-face -- as expected by GNU Emacs;	Makarius Wenzel	2007-11-04
\|
*	Set version tag for new release.	David Aspinall	2007-10-25
\|
*	Set version tag for new release.	David Aspinall	2007-09-10
\|
*	Use button2 instead of button1 for pg-goals-button-action	David Aspinall	2007-09-06
\|
*	Set version tag for new release.	David Aspinall	2007-08-19
\|
*	pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp	David Aspinall	2007-08-19
\|
*	Fix to proof-defintset-fn so that correct current value is displayed.	David Aspinall	2007-08-19
\|
*	Fix attribute for proof-active-area-face	David Aspinall	2007-08-19
\|
*	Only analyse structure for region of appended text	David Aspinall	2007-08-19
\|
*	proof-active-area-face: highlighting face for active area	David Aspinall	2007-08-19
\|
*	Comments	David Aspinall	2007-08-19
\|
*	proof-append-alist: detach queue span if no commands after comments stripped.	David Aspinall	2007-08-19
\| \| \| \|	Fixes trac report #138: processing comments alone leads to spurious read-only region.
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
\|
*	Add unload utility for development	David Aspinall	2007-08-14
\|
*	Set version tag for new release.	David Aspinall	2007-07-04
\|
*	Set version tag for new release.	David Aspinall	2007-06-19
\|
*	Set version tag for new release.	David Aspinall	2007-06-10
\|
*	Set version tag for new release.	David Aspinall	2007-06-08
\|
*	Set version tag for new release.	David Aspinall	2007-06-05
\|
*	Set version tag for new release.	David Aspinall	2007-05-10
\|
*	Note trac generic user pgemacs/pgemacs	David Aspinall	2007-05-10
\|
*	Patch for utf-8 test	David Aspinall	2007-05-10
\|
*	pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵	David Aspinall	2007-05-10
\| \| \| \|	messages.
*	Add proof-replace-regexp-nocasefold	David Aspinall	2007-05-10
\|
*	Make proof-shell-unicode non-nil by default	David Aspinall	2007-04-30
\|
*	Experimenting smarter window creation when in three windows	Pierre Courtieu	2007-04-27
\| \| \| \|	mode. Strategy is: always try to split an associated buffer window.
*	Clean comments around eval-and-compile proof-mode	David Aspinall	2007-04-23
\|
*	Fixed a parenthesis, suggested by Stefan Monnier.	Pierre Courtieu	2007-04-16
\|
*	Fix links to BUGS and FAQ	David Aspinall	2007-03-19
\|
*	Set version tag for new release.	David Aspinall	2007-03-12
\|
*	Set version tag for new release.	David Aspinall	2007-03-04
\|
*	Set version tag for new release.	David Aspinall	2007-03-03
\|
*	Set version tag for new release.	David Aspinall	2007-03-03
\|
*	Use replace-regexp instead of proof-replace-regexp to clean chars	David Aspinall	2007-03-03
\|
*	Remove proof-indent-pad-eol atrocity	David Aspinall	2007-02-28
\|
*	Tweak.	David Aspinall	2007-01-20
\|
*	Set version tag for new release.	David Aspinall	2007-01-09
\|
*	Set version tag for new release.	David Aspinall	2006-12-20
\|
*	Set version tag for new release.	David Aspinall	2006-12-11
\|
*	removed obsolete references to 'isa';	Makarius Wenzel	2006-12-07
\|
*	proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which ↵	Makarius Wenzel	2006-12-07
\| \| \| \|	breaks Poly/MK 5;
*	Set version tag for new release.	David Aspinall	2006-11-07
\|
*	Set version tag for new release.	David Aspinall	2006-10-27
\|
*	Rationalise testing for different values of window-system, to/and support ↵	David Aspinall	2006-10-27
\| \| \| \|	more Emacs ports easily
*	Set version tag for new release.	David Aspinall	2006-09-24
\|
*	Tweaks to buffer history mode. Still intermediate version.	David Aspinall	2006-09-24
\|
*	Deleted file	David Aspinall	2006-09-24
\|