proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	Updated	David Aspinall	1999-10-06
*	updates	David Aspinall	1999-10-06
*	Updated	David Aspinall	1999-10-06
*	Updated	David Aspinall	1999-10-06
*	Updated	David Aspinall	1999-10-06
*	Updates	David Aspinall	1999-10-06
*	Admin changes for version 2.2.	David Aspinall	1999-10-06
*	Updates.	David Aspinall	1999-10-06
*	Added comments about using enriched mode or similar for prover output markup.	David Aspinall	1999-09-30
*	bug when prover gives error from proof-find (or similar).	David Aspinall	1999-09-29
*	Updated.	David Aspinall	1999-09-29
*	Added proof-script-command-separator. Needs work.	David Aspinall	1999-09-29
*	Putative enhancements mentioned.	David Aspinall	1999-09-29
*	Updated.	David Aspinall	1999-09-29
*	Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...	David Aspinall	1999-09-29
*	Updated	David Aspinall	1999-09-28
*	Updated	David Aspinall	1999-09-28
*	Note about syntax	David Aspinall	1999-09-28