proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Fix require	David Aspinall	2009-09-04
\|
*	Add text_raw	David Aspinall	2009-09-04
\|
*	Cleanup. Add more insertion commands.	David Aspinall	2007-12-13
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Documentation.	David Aspinall	2003-02-19
\|
*	Test with -- short comments. Docs	David Aspinall	2003-02-18
\|
*	New files.	David Aspinall	2003-02-18