proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2002-03-21	* empty log message *	Christophe Raffalli

2002-03-21	added hook: proof-before-fontify-output-hook	Christophe Raffalli

2002-03-05	* empty log message *	Christophe Raffalli

2002-01-17	* empty log message *	Christophe Raffalli

2001-09-03	Add specific install instrs, rearrange.	David Aspinall

2001-08-28	Change of proof span type back to goalsave	David Aspinall

2001-07-25	Various changes for win32 compatibility	Christophe Raffalli

2001-06-22	* empty log message *	Christophe Raffalli

2001-03-19	* empty log message *	Christophe Raffalli

2001-02-20	* empty log message *	Christophe Raffalli

2001-02-20	* empty log message *	Christophe Raffalli

2001-02-08	* empty log message *	Christophe Raffalli

2001-02-07	* empty log message *	Christophe Raffalli

2001-02-07	* empty log message *	Christophe Raffalli

2001-02-02	* empty log message *	Christophe Raffalli

2001-02-01	* empty log message *	Christophe Raffalli

2001-02-01	* empty log message *	Christophe Raffalli

2001-01-18	* empty log message *	Christophe Raffalli

2001-01-11	* empty log message *	Christophe Raffalli

2000-12-22	* empty log message *	Christophe Raffalli

2000-12-22	* empty log message *	Christophe Raffalli

2000-12-22	* empty log message *	Christophe Raffalli

2000-12-22	* empty log message *	Christophe Raffalli

2000-12-21	* empty log message *	Christophe Raffalli

2000-12-21	'goalsave -> 'proof	David Aspinall

2000-12-21	* empty log message *	Christophe Raffalli

2000-12-21	Renamed file	David Aspinall

2000-12-20	Renamed file	David Aspinall

2000-12-19	* empty log message *	Christophe Raffalli

2000-12-01	af2 is now called PhoX	Christophe Raffalli