proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	Updated for web pages, now only low-priority.	David Aspinall	1999-08-17
*	Updated	David Aspinall	1999-07-22
*	todo for web pages	David Aspinall	1999-07-05
*	todo for html	David Aspinall	1999-07-03
*	Note about compilation	David Aspinall	1999-06-30
*	* empty log message *	Patrick Loiseleur	1999-06-30
*	todo for web pages	David Aspinall	1999-06-28
*	Updates for new web pages, todo list.	David Aspinall	1999-06-24
*	Removed proof shell kill bug	David Aspinall	1999-06-15
*	Added todo for XEmacs packaging, reordered.	David Aspinall	1999-06-07
*	Downrated Poly/ML related item since Poly is defunct.	David Aspinall	1999-06-07