proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	done: exit isar;	Makarius Wenzel	2000-09-21
\| \| \| \|	added comment about output performance;
*	Updated	David Aspinall	2000-09-18
\|
*	Updated	David Aspinall	2000-09-14
\|
*	Updated	David Aspinall	2000-09-13
\|
*	Updated	David Aspinall	2000-09-12
\|
*	Updated	David Aspinall	2000-09-08
\|
*	adapting manual needs intro fixing	David Aspinall	2000-08-28
\|
*	Added a couple of todos	David Aspinall	2000-08-28
\|
*	Updated	David Aspinall	2000-07-12
\|
*	Updated	David Aspinall	2000-07-03
\|
*	Updated	David Aspinall	2000-06-27
\|
*	Added new section on updates for future Emacs versions	David Aspinall	2000-06-15
\|
*	Message about packages needed (incomplete)	David Aspinall	2000-06-09
\|
*	Bug in file colouring	David Aspinall	2000-06-09
\|
*	Improved indentation code; enabled by default;	Makarius Wenzel	2000-06-08
\|
*	todo for C-c C-l to fix point	David Aspinall	2000-06-06
\|
*	Updated.	David Aspinall	2000-06-05
\|
*	Updated	David Aspinall	2000-06-01
\|
*	Note about generalizing settings mechanism	David Aspinall	2000-06-01
\|
*	Updated	David Aspinall	2000-05-29
\|
*	Updated	David Aspinall	2000-05-26
\|
*	Updated. Noted that "first line" bug is more prevalent than thought.	David Aspinall	2000-05-18
\|
*	Updated, mentioned Solaris bug reported by Markus.	David Aspinall	2000-05-16
\|
*	Notes about fixing docstring-magic.	David Aspinall	2000-05-12
\|
*	Updated	David Aspinall	2000-05-12
\|
*	Updated	David Aspinall	2000-05-05
\|
*	Added note about new FSF bug discovered, sigh...	David Aspinall	2000-05-01
\|
*	Updated	David Aspinall	2000-04-07
\|
*	Updated	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	Updated	David Aspinall	2000-04-04
\|
*	Updated	David Aspinall	2000-04-04
\|
*	Updated	David Aspinall	2000-03-24
\|
*	Updated for 3.1	David Aspinall	2000-03-23
\|
*	Updated todo's.	David Aspinall	2000-03-22
\|
*	Updated	David Aspinall	2000-03-19
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Updated	David Aspinall	2000-03-10
\|
*	Updated	David Aspinall	2000-03-09
\|
*	Split low-level todo into several files.	David Aspinall	2000-03-08
\|
*	Updated	David Aspinall	2000-02-29
\|
*	Todos for 3.1	David Aspinall	2000-02-28
\|
*	Note about X-Symbol problems.	David Aspinall	2000-01-12
\|
*	Added two new bugs to be fixed.	David Aspinall	1999-12-13
\|
*	Note about pdftexinfo bug.	David Aspinall	1999-11-30
\|
*	Updated	David Aspinall	1999-11-30
\|
*	Updated	David Aspinall	1999-11-30
\|
*	Updated	David Aspinall	1999-11-26
\|
*	Updated for 3.0 release.	David Aspinall	1999-11-25
\|
*	Updated	David Aspinall	1999-11-25
\|