proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2003-01-02
* \|	Fake customize menu create for latest Emacs release -- workaround new bug there	David Aspinall	2002-12-29
* \|	Fix use of replace-regexp-in-string	David Aspinall	2002-12-29
* \|	Try to catch nesting too deep ugliness (esp in Isabelle tracing)	David Aspinall	2002-12-29
* \|	Add followdown	David Aspinall	2002-12-29
* \|	Add followdown mode; compat note	David Aspinall	2002-12-29
* \|	Buglet in proof-shell-ready-prover	David Aspinall	2002-12-29
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-12-17
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-12-17
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-12-11
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-12-11
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-12-10
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-12-10
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-12-10
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-12-10
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-12-10
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-12-10