proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Added a paragraph in the documentation for the variable coq-version-is-V74.	Pierre Courtieu	2003-02-05
*	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-04
\|\
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-04
* \|	Coq/pg: fixed a little bug with the "Print Hint" state preserving	Pierre Courtieu	2003-02-04
* \|	Updated.	David Aspinall	2003-02-03
* \|	Set version tag for new release.	David Aspinall	2003-02-03
* \|	code cleaning + deals better with the new module system of Coq. Did	Pierre Courtieu	2003-02-03
* \|	- Moved "show me" menu one level up in the menu hierarchy	Stefan Berghofer	2003-02-03
* \|	Fix from Christoph Conrad for Emacs compatibility (buffer-string)	David Aspinall	2003-02-02
* \|	Bug correction in the find-and-forget function for coq: in Coq v74, no	Pierre Courtieu	2003-01-30
* \|	Added a file for testing modules of coq (new version 7.4). Plus some	Pierre Courtieu	2003-01-29
* \|	Updated.	David Aspinall	2003-01-29
* \|	Add remassoc for FSF.	David Aspinall	2003-01-29
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-28
\|\\|
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-01-28
* \|	Fix hilight of Module Type?	David Aspinall	2003-01-24
* \|	New files.	David Aspinall	2003-01-24
* \|	removed some garbage printing in coq/	Pierre Courtieu	2003-01-24
* \|	Modifications for support of Coq-7.3.1+ and above (new module system).	Pierre Courtieu	2003-01-24
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-23
\|\\|
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-01-23
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-22
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-22
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-22
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-22
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-22
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-22
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-21
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-21
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-21
\|\\|
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-01-21
* \|	Updated.	David Aspinall	2003-01-20
* \|	Set version tag for new release.	David Aspinall	2003-01-20
* \|	Updated.	David Aspinall	2003-01-20
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-17
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-17
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-16
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-16
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-16
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-16
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-16
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-16
* \|	Updated.	David Aspinall	2003-01-16
* \|	Toward XHTML	David Aspinall	2003-01-16
* \|	Update my email and web	David Aspinall	2003-01-16
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-02
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-02
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-02
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-02
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-01-02
\|\\|