proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Added section for UITP/TP researchers, mentioning further possible	David Aspinall	1998-12-14
*	Set version tag for new release.	David Aspinall	1998-12-11
*	More comments about multiple file problems	David Aspinall	1998-12-11
*	Disabled hack for proof-shell-process-file which allowed	David Aspinall	1998-12-11
*	Comments	David Aspinall	1998-12-11
*	Urgent fix for multiple files wanted.	David Aspinall	1998-12-11
*	Allow even the current scripting buffer to be marked atomically	David Aspinall	1998-12-11
*	More test cases mentioned	David Aspinall	1998-12-11
*	todo for Isabelle multiple files.	David Aspinall	1998-12-11
*	Altered behaviour to allow retraction part-way through finished scripts.	David Aspinall	1998-12-11
*	Added new test/comments.	David Aspinall	1998-12-11
*	Updates	David Aspinall	1998-12-11
*	Several changes:	David Aspinall	1998-12-11
*	Added more commands for testing	David Aspinall	1998-12-11
*	Added submit bug report to proof-shared-menu	David Aspinall	1998-12-11
*	Tweaked headings for bug report	David Aspinall	1998-12-11
*	Added proof-submit-bug-report	David Aspinall	1998-12-11
*	Removed check for proof script buffer from retraction enabler.	David Aspinall	1998-12-11
*	Fixed typo.	David Aspinall	1998-12-11
*	Name of proof-shell-restart was changed.	David Aspinall	1998-12-11
*	Tidied output by putting newlines before imports done message.	David Aspinall	1998-12-11
*	Fixed bug where proof-activate-scripting nuked locked regions.	David Aspinall	1998-12-11
*	Removed proof-send, now use proof-shell-insert instead.	David Aspinall	1998-12-11
*	Handy	David Aspinall	1998-12-11
*	Removed proof-shell-preprocess-command. Improved docstring for proof-shell-i...	David Aspinall	1998-12-11
*	Explained one-prover issue better.	David Aspinall	1998-12-11
*	. Removed "multiple prover problem" from bugs section, since it's now	David Aspinall	1998-12-11
*	Removed multiple provers problem, it's handled gracefully now and not a bug.	David Aspinall	1998-12-11
*	Added some items after user feedback. Also some *** probs.	David Aspinall	1998-12-11
*	Updated for version 2.0	David Aspinall	1998-12-11
*	Disabled span-making part of proof-shell-analyse structure for Emacs 20.3	David Aspinall	1998-12-11
*	Added mention of FSFmacs multibyte character problem (version 20.3)	David Aspinall	1998-12-11
*	Made point stay at top of goals buffer and bottom of response buffer	David Aspinall	1998-12-10
*	Changed name of proof-toolbar-inhibit variable for uniformity.	David Aspinall	1998-12-10
*	New file mentioning some test cases.	David Aspinall	1998-12-10
*	Offer to save script mode buffers which have no files,	David Aspinall	1998-12-10
*	Patch for case that new script buffer has no filename.	David Aspinall	1998-12-10
*	Fix for splash hack for theory files when proo-splash-inhibit=t.	David Aspinall	1998-12-10
*	Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.	David Aspinall	1998-12-10
*	o special characters are no longer displayed in (16Bit) FSF GNU Emacs	Thomas Kleymann	1998-12-08
*	Added A*** for documentation, X for ChangeLog in devel distrib.	David Aspinall	1998-12-08
*	Added support for proof-shell-restart-cmd	Thomas Kleymann	1998-12-08
*	Set version tag for new release.	David Aspinall	1998-12-07
*	Added proof-shell-preprocess-command for Paul Callaghan.	David Aspinall	1998-12-07
*	Added new todos for LEGO.	David Aspinall	1998-12-05
*	Set version tag for new release.	David Aspinall	1998-11-26
*	Added HTML files.	David Aspinall	1998-11-26
*	Added note about final things to do for 2.0	David Aspinall	1998-11-26
*	BUG fix: proof-shell-message with str's containing format characters.	David Aspinall	1998-11-26
*	Format fix	David Aspinall	1998-11-26