proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2017-09-22	phox is back	Christophe Raffalli

2009-09-15	Prevent many compile warnings	David Aspinall

2009-09-05	Tidy whitespace	David Aspinall

2008-01-15	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall

2006-02-24	back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵	Christophe Raffalli
	imporvment in proof by contextual menu
2004-10-20	improvment of phox-x-symbol, supress sym-lock, first support for proof by ↵	Christophe Raffalli
	contextual menu
2004-01-30	updating for new PG version	Christophe Raffalli

2003-02-12	change for version 0.83 of PhoX	Christophe Raffalli

2002-07-25	change to support version 4.4 of x-symbol	Christophe Raffalli

2002-07-25	change to support version 4.4 of x-symbol	Christophe Raffalli

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

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

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

2001-02-08	* 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

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

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

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

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