proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Cut comint input ring, minor efficiency tweak.	David Aspinall	2006-09-22
\|
*	Comments.	David Aspinall	2006-09-22
\|
*	Set version tag for new release.	David Aspinall	2006-09-22
\|
*	Updated.	David Aspinall	2006-09-22
\|
*	Set version tag for new release.	David Aspinall	2006-09-12
\|
*	Set version tag for new release.	David Aspinall	2006-09-09
\|
*	Set version tag for new release.	David Aspinall	2006-09-07
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	2006-08-28
\|
*	Coq indentation small fixes.	Pierre Courtieu	2006-08-23
\|
*	Comments and docstring fixes in lib and generic.	Pierre Courtieu	2006-08-23
\|
*	Fixed messages of prover process starting and errors in order to have	Pierre Courtieu	2006-08-16
\| \| \| \| \|	prog-args shown. It was confusing for users not to see what arguments was given to the prover.
*	Set version tag for new release.	David Aspinall	2006-05-26
\|
*	Add back 'raw-text setting, now LANG settings aren't taking effect again ↵	David Aspinall	2006-05-26
\| \| \| \|	[me: XEmacs 21.4.19 on FC5]
*	Updated.	David Aspinall	2006-05-26
\|
*	Add C-g watcher for trace buffer	David Aspinall	2006-05-26
\|
*	Fix to remove mention of coding-system-for-write, coding-system-for-read not ↵	David Aspinall	2006-05-23
\| \| \| \|	available on non-Mule compiles
*	Changed the type of proof-goal-command-p. It takes now a span, which	Pierre Courtieu	2006-04-26
\| \| \| \| \| \|	allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
*	back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵	Christophe Raffalli	2006-02-24
\| \| \| \|	imporvment in proof by contextual menu
*	Set version tag for new release.	David Aspinall	2006-02-14
\|
*	Revert use of 'raw-text for coding-system-for-read/write since it changes ↵	David Aspinall	2006-02-14
\| \| \| \|	behaviour in at least one Emacs version, causing PG to hang.
*	Add back lost edits	David Aspinall	2006-02-14
\|
*	Add <PA>-prog-args and <PA>-prog-env	David Aspinall	2006-02-14
\|
*	PG 3.6: remove Info item from toolbar; it's not very useful and under ↵	David Aspinall	2006-01-09
\| \| \| \|	PA->Help anyway
*	Fix for coloured face specs on Aquaemacs	David Aspinall	2006-01-08
\|
*	actually revert to revision 8.15;	Makarius Wenzel	2005-11-14
\|
*	backtracking my change on function	Pierre Courtieu	2005-11-09
\| \| \| \| \|	proof-shell-invisible-cmd-get-result, we will fix this better with David soon (use of the noerror arg).