proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	X-Symbol version 4.45 beta	David Aspinall	2002-07-29
\|
*	X-Symbol version 4.45 beta	David Aspinall	2002-04-22
\|
*	This commit was manufactured by cvs2git to create branch 'xsym'.	cvs2git	2002-04-16
\| \| \| \|	Cherrypick from master 2002-04-16 13:38:30 UTC David Aspinall <da@inf.ed.ac.uk> 'Initial revision': x-symbol/lisp/Makefile
*	X-Symbol version 4.45 beta	David Aspinall	2002-04-16
\|
*	X-Symbol version 4.45 beta	David Aspinall	2002-03-12
\|
*	X-Symbol version 4.45 beta	David Aspinall	2002-02-23