proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	New files.	David Aspinall	2003-02-19
*	Set version tag for new release.	David Aspinall	2003-02-19
*	Updated.	David Aspinall	2003-02-19
*	Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or	David Aspinall	2003-02-19
*	Add pg-xml to main dist	David Aspinall	2003-02-18
*	Comments.	David Aspinall	2003-02-18
*	Updated.	David Aspinall	2003-02-18
*	Deleted files.	David Aspinall	2003-02-18
*	Updated.	David Aspinall	2003-02-18
*	Test with -- short comments. Docs	David Aspinall	2003-02-18
*	Delete	David Aspinall	2003-02-18
*	New files.	David Aspinall	2003-02-18
*	Small bugfix.	David Aspinall	2003-02-18
*	New files.	David Aspinall	2003-02-18
*	Updated.	David Aspinall	2003-02-18
*	Add support for MMM mode	David Aspinall	2003-02-18
*	Refactor proof-config-done for clarity	David Aspinall	2003-02-18
*	New files.	David Aspinall	2003-02-18
*	Documentation.	David Aspinall	2003-02-18
*	Decoration to show off MMM mode	David Aspinall	2003-02-18
*	Mention adding MMM mode	David Aspinall	2003-02-17
*	New files.	David Aspinall	2003-02-17
*	New files.	David Aspinall	2003-02-17
*	Updated.	David Aspinall	2003-02-17
*	Test case for {nested proof} in isabelle	David Aspinall	2003-02-17
*	Set version tag for new release.	David Aspinall	2003-02-17
*	Revert to old isar-ids-to-regexp	David Aspinall	2003-02-17
*	Larrys suggestion for lookup-syntax-properties.	David Aspinall	2003-02-17
*	Update addresses	David Aspinall	2003-02-17
*	Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p...	David Aspinall	2003-02-17
*	Remove subterm markup striping in proof-shell-process-output (error case). Docs	David Aspinall	2003-02-17
*	Added documentation string to the variables coq-version-is-V6 (new),	Pierre Courtieu	2003-02-16
*	Updated.	David Aspinall	2003-02-16
*	Set version tag for new release.	David Aspinall	2003-02-16
*	Documentation.	David Aspinall	2003-02-16
*	Add backwards compatibility for old pre-PGIP settings mechanism	David Aspinall	2003-02-16
*	Updated.	David Aspinall	2003-02-16
*	Updated.	David Aspinall	2003-02-15
*	Link to CHANGES for comment on versions.	David Aspinall	2003-02-15
*	Fixes so that compile works	David Aspinall	2003-02-15
*	Line for Emacs compile	David Aspinall	2003-02-15
*	Towards isabelle-refresh-logics	David Aspinall	2003-02-15
*	change for version 0.83 of PhoX	Christophe Raffalli	2003-02-12
*	Added the keyword "Local :=" to the coq-goal-command-p function, like	Pierre Courtieu	2003-02-12
*	little modif on the end-cammand regexp.	Pierre Courtieu	2003-02-10
*	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-10
\|\
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-10
* \|	little change to proof-script-command-end-regexp, again, to deal with	Pierre Courtieu	2003-02-06
* \|	Slight modification to proof-script-command-end-regexp in coq.el, to	Pierre Courtieu	2003-02-06
* \|	Updated.	David Aspinall	2003-02-05