proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Update	David Aspinall	2002-08-16
\|
*	fixed spelling;	Makarius Wenzel	2002-05-03
\|
*	Updated	David Aspinall	2001-09-03
\|
*	Added generic line width adjusting to grand TODO	David Aspinall	2000-09-28
\|
*	Updated	David Aspinall	2000-09-23
\|
*	Updated	David Aspinall	2000-08-28
\|
*	Updated	David Aspinall	2000-06-27
\|
*	Updated todo's.	David Aspinall	2000-03-22
\|
*	Updated	David Aspinall	2000-03-19
\|
*	Updated	David Aspinall	2000-03-14
\|
*	Updated	David Aspinall	2000-03-09
\|
*	Updated	David Aspinall	1999-11-30
\|
*	Updated	David Aspinall	1999-11-19
\|
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
\|
*	Updated	David Aspinall	1999-08-24
\|
*	Updated for version 2.0	David Aspinall	1998-12-11
\|
*	Added doc to short term improvements. It won't be good for 2.0, 8-(.	David Aspinall	1998-11-10
\|
*	Updated user-view of our todo	David Aspinall	1998-11-09
\|
*	Added more stuff from todo	David Aspinall	1998-10-12
\|
*	New file to give users/co-developers a chance to see what we have planned.	David Aspinall	1998-10-07