proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Updated	David Aspinall	1999-11-25
\|
*	Updated	David Aspinall	1999-11-24
\|
*	Updated	David Aspinall	1999-11-24
\|
*	Updated	David Aspinall	1999-11-23
\|
*	More notes about x-sym fixes	David Aspinall	1999-11-23
\|
*	Updated	David Aspinall	1999-11-22
\|
*	More todo's??? Surely not	David Aspinall	1999-11-19
\|
*	Added note about C-c RET broken on console.	David Aspinall	1999-11-19
\|
*	Updated	David Aspinall	1999-11-18
\|
*	Updated	David Aspinall	1999-11-18
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	todo for shell exiting	David Aspinall	1999-11-16
\|
*	Updated	David Aspinall	1999-11-16
\|
*	Updated	David Aspinall	1999-11-15
\|
*	Updated	David Aspinall	1999-11-15
\|
*	Updated	David Aspinall	1999-11-15
\|
*	Updated	David Aspinall	1999-11-14
\|
*	Updated	David Aspinall	1999-11-13
\|
*	Updated	David Aspinall	1999-11-12
\|
*	Updated	David Aspinall	1999-11-11
\|
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	Added proof-help command to help menu.	David Aspinall	1999-11-11
\|
*	Patches for urgent message processing.	David Aspinall	1999-11-11
\|
*	Added new command proof-goto-point, new default binding for C-c RET.	David Aspinall	1999-11-11
\|
*	Latest todos	David Aspinall	1999-11-10
\|
*	Updated	David Aspinall	1999-11-08
\|
*	todo to improve proof-script-next-entity-regexps.	David Aspinall	1999-10-21
\|
*	Updated with further issues raised by ever eager Munich folk.	David Aspinall	1999-10-20
\|
*	Issues added after report from DvO.	David Aspinall	1999-10-19
\|
*	Updated	David Aspinall	1999-10-15
\|
*	Updated	David Aspinall	1999-10-12
\|
*	Usability enhancement	David Aspinall	1999-10-06
\|
*	Updated	David Aspinall	1999-10-06
\|
*	Updated	David Aspinall	1999-10-06
\|
*	Updated	David Aspinall	1999-10-06
\|