proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update to 4.5.1-beta from sourceforge.	David Aspinall	2003-09-24
\|
*	Deleted file	David Aspinall	2003-09-24
\|
*	Updated.	David Aspinall	2003-09-22
\|
*	Updated version sent sent by CW	David Aspinall	2003-03-14
\|
*	Patch from CW to fix sub/supers prob.	David Aspinall	2003-03-06
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	New files.	David Aspinall	2003-03-03
\|
*	Deleted file	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Deleted file	David Aspinall	2003-03-03
\|
*	Delete	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Update to 4.5 (pre?) version CW sent	David Aspinall	2003-03-01
\|
*	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-03-01
\|\ \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-03-01
\| \|
\| *	This commit was manufactured by cvs2git to create branch 'xsym'.	cvs2git	2003-03-01
\| \| \| \| \| \| \| \| \| \|	Cherrypick from master 2003-03-01 11:33:34 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.x-symbol-for-ProofGeneral x-symbol/info/x-symbol.info
* \|	New files.	David Aspinall	2003-03-01
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-27
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-27
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-26
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-26
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-26
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-26
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-26
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-26
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-26
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-26
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-26
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-26
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-02-26
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-26
\| \|
* \|	Renamed file	David Aspinall	2003-02-22
\| \|
* \|	Deleting	David Aspinall	2003-02-22
\| \|
* \|	Deleted file	David Aspinall	2003-02-22
\| \|
\| *	This commit was manufactured by cvs2git to create branch 'xsym'.	cvs2git	2003-02-19
\| \| \| \| \| \| \| \|	Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.ProofGeneral
* \|	New files.	David Aspinall	2003-02-19
\|/
*	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-10
\|
*	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-02-04
\|
*	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-01-28
\|
*	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-01-23
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-22
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-22
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-22
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-21
\|
*	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-01-21
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-17
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-16
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-16
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-16
\|
*	X-Symbol version 4.45 beta	David Aspinall	2003-01-02
\|