proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	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
*	Added clear-goals-buffer stuff, asked for response to be left after use_thy.	David Aspinall	1998-11-26
*	Added note about bugs elsewhere. Display issues. Tech rep todos	David Aspinall	1998-11-26
*	Added proof-shell-clear-goals-regexp.	David Aspinall	1998-11-26
*	Warning in proof-shell-insert-hook docstrings.	David Aspinall	1998-11-26
*	Quotes added to try to fix markup.	David Aspinall	1998-11-26
*	Suggestions for using proof-pre-shell-start-hook removed. Minor typos/fixes.	David Aspinall	1998-11-26
*	Alterations to @var case again	David Aspinall	1998-11-26
*	Improvements from Markus Wenzel. Re-made after texi-docstring-magic	David Aspinall	1998-11-26
*	Fixup branch	David Aspinall	1998-11-25
*	Added todo. Put quote into symbol markup.	David Aspinall	1998-11-25
*	Added 20.3 version of FSF Emacs and todo for each release.	David Aspinall	1998-11-25
*	Updated magic.	David Aspinall	1998-11-25
*	Updated patch	David Aspinall	1998-11-25