proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Typo	David Aspinall	2004-09-11
\|
*	* empty log message *	David Aspinall	2004-08-31
\|
*	Set version tag for new release.	David Aspinall	2004-08-31
\|
*	Fix backward compatibility with Isabelle 2004.	David Aspinall	2004-08-31
\|
*	debugged the indentation of coq (bug report of Batsiaan Zapf august	Pierre Courtieu	2004-08-30
\| \| \| \| \|	3rd 2004). I found another bug (infinite loop due to an error in coq-back-to-indentation-prevline).
*	Try to avoid filtering/urgent-message-processing of input	David Aspinall	2004-08-26
\|
*	Fixes for idtables	David Aspinall	2004-08-26
\|
*	More proofgeneral.org removals	David Aspinall	2004-08-25
\|
*	Hack names of xemacs-elc emacs-elc packages too	David Aspinall	2004-08-25
\|
*	Update for 3.6	David Aspinall	2004-08-25
\|
*	New files.	David Aspinall	2004-08-25
\|
*	Change develdownload.php -> develdownload.html	David Aspinall	2004-08-25
\|
*	Set version tag for new release.	David Aspinall	2004-08-25
\|
*	Update for forthcoming 3.6	David Aspinall	2004-08-25
\|
*	Updated.	David Aspinall	2004-08-25
\|
*	Update for 3.6	David Aspinall	2004-08-25
\|
*	Updates for 3.6	David Aspinall	2004-08-25
\|
*	Explain LaTeX mode for Isabelle a bit better	David Aspinall	2004-08-25
\|
*	Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵	David Aspinall	2004-08-25
\| \| \| \|	available.
*	Use proof-general-short-version	David Aspinall	2004-08-25
\|
*	Extended and updated PGIP support for PGIP 2.X	David Aspinall	2004-08-25
\|
*	Overhaul to use xml.el parsing and printing.	David Aspinall	2004-08-25
\|
*	Extensions to support PGIP 2.X settings format.	David Aspinall	2004-08-25
\|
*	Comment	David Aspinall	2004-08-25
\|
*	Add pg-internal-warning	David Aspinall	2004-08-25
\|
*	New files.	David Aspinall	2004-08-25
\|
*	Tune	David Aspinall	2004-08-25
\|
*	Tune	David Aspinall	2004-08-25
\|
*	Add lib/ to load-path. Define proof-general-short-version.	David Aspinall	2004-08-25
\| \| \| \|	Move architecture flags to proof-compat
*	Renamed file	David Aspinall	2004-08-25
\|
*	Add architecture flags; comments.	David Aspinall	2004-08-25
\|
*	Updated for 3.6 release	David Aspinall	2004-08-25
\|
*	Update for 3.6 release	David Aspinall	2004-08-25
\|
*	Update for 3.6 release	David Aspinall	2004-08-25
\|
*	Update to version 3.6 pre-release	David Aspinall	2004-08-25
\|
*	Renamed file	David Aspinall	2004-08-25
\|
*	Update	David Aspinall	2004-08-25
\|
*	New files.	David Aspinall	2004-08-25
\|
*	Renamed file	David Aspinall	2004-08-25
\|
*	Add lib to elisp dirs	David Aspinall	2004-08-25
\|
*	Add lib to elisp paths. Name ETAGS program.	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.
*	Document warning message for xml.el	David Aspinall	2004-08-25
\|
*	Renamed file	David Aspinall	2004-08-25
\|
*	New files.	David Aspinall	2004-08-25
\|
*	Don't make proof-shell-insert-hook buffer local.	David Aspinall	2004-08-24
\| \| \| \|	Protect x-symbol-shell-config against failure of the init-cmd.
*	Simplify clear buffer calls	David Aspinall	2004-08-24
\|
*	Make proof-clean-buffer work with dead buffers.	David Aspinall	2004-08-24
\| \| \| \|	Add x-symbol-version to bug report variables.
*	Updated.	David Aspinall	2004-08-24
\|
*	Note about use of this lib.	David Aspinall	2004-08-16
\|