proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Updated docstring.	David Aspinall	1998-12-17
\|
*	Removed a todo. This version submitted for Texinfo.	David Aspinall	1998-12-17
\|
*	Newline after first sentence. Submitted for Texinfo distribution.	David Aspinall	1998-12-17
\|
*	Updated magic. (Extra newlines added).	David Aspinall	1998-12-17
\|
*	Updated to use local validator.	David Aspinall	1998-12-17
\|
*	Fixed web address for documentation.	David Aspinall	1998-12-17
\|
*	Added Latest news section to preface to point to home page.	David Aspinall	1998-12-17
\|
*	Link to TOC of documentation html.	David Aspinall	1998-12-17
\|
*	Split chapters of html for easier browsing.	David Aspinall	1998-12-17
\|
*	Fixed spelling error.	David Aspinall	1998-12-17
\|
*	This file records user-visible changes between versions.	David Aspinall	1998-12-17
\|
*	Fixed bugs.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-16
\|
*	Included the rest of the info files in the package.	David Aspinall	1998-12-16
\|
*	Fixup for filename	David Aspinall	1998-12-16
\|
*	Removed info file name space, again, arrgggh.	David Aspinall	1998-12-16
\|
*	Fixed info dir again. Removed detailed menu.	David Aspinall	1998-12-16
\|
*	Added back space in info file name	David Aspinall	1998-12-16
\|
*	Set version tag for new release.	David Aspinall	1998-12-16
\|
*	Reverted to previous semantics	David Aspinall	1998-12-16
\|
*	Updated magic.	David Aspinall	1998-12-16
\|
*	Added a menu.	David Aspinall	1998-12-16
\|
*	Note about texinfo menu update.	David Aspinall	1998-12-16
\|
*	Made delete-region arg optional for proof-retract-until-point-interactive.	David Aspinall	1998-12-16
\|
*	Removed space from ProofGeneral name.	David Aspinall	1998-12-16
\|
*	Added space after colon in info dir entry.	David Aspinall	1998-12-16
\|
*	Fixed INFO-DIR-ENTRY (newline was lost)	David Aspinall	1998-12-16
\|
*	Todo for putting Info somewhere good in the dir.	David Aspinall	1998-12-16
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	towards prerelease 2.1	Thomas Kleymann	1998-12-16
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	structured announcement some more	Thomas Kleymann	1998-12-16
\|
*	Made outstanding bugs we haven't investigated a single A item.	David Aspinall	1998-12-16
\|
*	Updated magic once more	David Aspinall	1998-12-16
\|
*	Added Coq test results. Made reverse chronological order.	David Aspinall	1998-12-16
\|
*	further documentation of LEGO specific bug	Thomas Kleymann	1998-12-16
\|
*	Some hacks to make markup happen.	David Aspinall	1998-12-16
\|
*	Tweaked docstring for C-c C-u.	David Aspinall	1998-12-16
\|
*	Removed all urgent TODOs for 2.0	David Aspinall	1998-12-16
\|
*	rationalised keybinding (again)	Thomas Kleymann	1998-12-16
\|
*	improved default keybindings	Thomas Kleymann	1998-12-16
\|
*	Removed suspected bug mentioned by David von O. Now assumed to	David Aspinall	1998-12-16
\| \| \| \| \|	be due to his own hacking of Proof General. Added proof-shell-exit item concerning the time delay built-in.
*	Added GPL license (I wrote this at home).	David Aspinall	1998-12-16
\| \| \| \|	Corrected name of Texinfo and other comments.
*	added proof-shell-exit test description	Thomas Kleymann	1998-12-16
\|
*	Fixed default for proof-shell-quit-cmd.	David Aspinall	1998-12-16
\|
*	documented LEGO specific bug	Thomas Kleymann	1998-12-16
\|
*	minor changes in the History	Thomas Kleymann	1998-12-16
\|
*	. clarified history of multiple files	Thomas Kleymann	1998-12-16
\| \| \| \|	. added UITP reference
*	Docstring tweak	David Aspinall	1998-12-15
\|