proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	Updated	David Aspinall	1999-09-23
*	Made desired usability changes more explicit and detailed.	David Aspinall	1999-09-21
*	Reorganized and formatted, added some items.	David Aspinall	1999-09-13
*	Mention splash screen and that XEmacs can't display transparent gifs	David Aspinall	1999-09-13
*	Updated	David Aspinall	1999-08-27
*	Updated	David Aspinall	1999-08-27
*	New items	David Aspinall	1999-08-23
*	Updates.	David Aspinall	1999-08-23
*	updated.	David Aspinall	1999-08-20
*	Improvement for C-c C-o mentioned	David Aspinall	1999-08-20
*	Added todo for pre 2.1 testing	David Aspinall	1999-08-20
*	Web page todo for smaller screens.	David Aspinall	1999-08-17