proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;	Makarius Wenzel	2006-10-11
\| \| \| \| \|	isar-find-and-forget: no special treatment of undo-kill, allows "context" command to act as local theory init;
*	isar-keywords-indent-enclose: include "begin" keyword;	Makarius Wenzel	2006-10-11
\| \| \| \|	removed obsolete kill/undo-kill-regexp;
*	added regexps for begin/end and theory start;	Makarius Wenzel	2006-10-11
\|
*	removed obsolete isar-detect-header;	Makarius Wenzel	2006-10-11
\| \| \| \|	isar-find-and-forget: proper handling of nested begin/end blocks;
*	Fix for coq-utf-safe.	Pierre Courtieu	2006-10-06
\|
*	utf safe coq mode is not linked to proof-shell-unicode, as unicode is	Pierre Courtieu	2006-09-29
\| \| \| \|	not well handle by xemacs.
*	adapting to proof-shell-unicode. Coq has not been adapted to the	Pierre Courtieu	2006-09-29
\| \| \| \|	-emacs-U option.
*	Simplified prompt regexp for coq, preparing new prompt delimiters	Pierre Courtieu	2006-09-29
\| \| \| \|	<prompt> and </prompt>.
*	fixed a bug with wakeup char for coq.	Pierre Courtieu	2006-09-29
\|
*	Added \x6 as a possible wakeup char for coq. For the moment this	Pierre Courtieu	2006-09-25
\| \| \| \| \|	special char is used when the -emacs-U is used (with or instead of -emacs) in cvs version of coq of today 25/9/2006.
*	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
\|
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Fix typo.	David Aspinall	2006-09-22
\|
*	Cut comint input ring, minor efficiency tweak.	David Aspinall	2006-09-22
\|
*	Updated.	David Aspinall	2006-09-22
\|
*	Tweak.	David Aspinall	2006-09-22
\|
*	Fix typo.	David Aspinall	2006-09-22
\|
*	Comments.	David Aspinall	2006-09-22
\|
*	Add workaround for GNU Emacs problems in easymenu-add.	David Aspinall	2006-09-22
\|
*	Update to 0.4.8 from sourceforge.	David Aspinall	2006-09-22
\|
*	Set version tag for new release.	David Aspinall	2006-09-22
\|
*	Packaging fixes: put isar/interface in right place; install examples and doc ↵	David Aspinall	2006-09-22
\| \| \| \|	files from Makefile.
*	Updated.	David Aspinall	2006-09-22
\|
*	Deleted file	David Aspinall	2006-09-22
\|
*	typo in coq-indent.	Pierre Courtieu	2006-09-15
\|
*	fixed a typo in last correction.	Pierre Courtieu	2006-09-15
\|
*	fix a bug with error highlighting. Not sure it is ok but seems to	Pierre Courtieu	2006-09-14
\| \| \| \|	work.
*	fixed a bug from Stefan Monnier.	Pierre Courtieu	2006-09-14
\|
*	cleaning from Stefan Monnier.	Pierre Courtieu	2006-09-13
\|
*	cleaning from Stefan Monnier.	Pierre Courtieu	2006-09-13
\|
*	Updated.	David Aspinall	2006-09-12
\|
*	Set version tag for new release.	David Aspinall	2006-09-12
\|
*	Set version tag for new release.	David Aspinall	2006-09-09
\|
*	Fixed nested comment support for scripting, in xemacs (worked already	Pierre Courtieu	2006-09-08
\| \| \| \|	on GNU Emacs). Instanciated proof-parse-function for that...
*	Set version tag for new release.	David Aspinall	2006-09-07
\|
*	Updated.	David Aspinall	2006-09-07
\|
*	update CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Updated CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Added Goal as a goal starter in syntax db.	Pierre Courtieu	2006-09-07
\|
*	updating changes in coq/CHANGES.	Pierre Courtieu	2006-09-06
\|
*	Making error highlighting more robust (for both emacsen) and use a	Pierre Courtieu	2006-09-06
\| \| \| \|	span instead of region.
*	Error highliting in coq now works	Pierre Courtieu	2006-09-05
\|
*	still experimenting error highliting	Pierre Courtieu	2006-09-05
\|
*	Experimenting highlighting the error from coqtop error	Pierre Courtieu	2006-09-05
\| \| \| \| \|	message. Function work but proof-shell-handle-error-or-interrupt-hook does not allow to activate the region...
*	Trying to mae indentation aware of nested comments (to be simplified	Pierre Courtieu	2006-09-04
\| \| \| \| \|	when xemacs will deal with nested comments). Seems to work, a bit slow.
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Cleanup makefiles	David Aspinall	2006-08-28
\|