proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Docstring	David Aspinall	1999-02-22
\|
*	Added hack to fix nested @samp @var problem.	David Aspinall	1999-02-22
\|
*	Added PROOFGENERAL_ASSISTANTS. proof-site should not need to be edited.	David Aspinall	1999-02-22
\|
*	Fixed bug by shifting configuration of minor mode for active terminator.	David Aspinall	1999-02-22
\|
*	Set version tag for new release.	David Aspinall	1999-02-01
\|
*	Improved docstring	David Aspinall	1999-02-01
\|
*	Used proof-string-match for matching against proof script.	David Aspinall	1999-02-01
\|
*	Added proof-string-match	David Aspinall	1999-02-01
\|
*	Added proof-case-fold-search	David Aspinall	1999-02-01
\|
*	Set version tag for new release.	David Aspinall	1999-01-15
\|
*	Experimental bug fix for Solaris problem	David Aspinall	1999-01-15
\|
*	Set version tag for new release.	David Aspinall	1999-01-12
\|
*	Missing bracket.	David Aspinall	1998-12-18
\|
*	Set version tag for new release.	David Aspinall	1998-12-18
\|
*	Beginnings of x-symbol support.	David Aspinall	1998-12-18
\|
*	Added proof-assistant-symbol	David Aspinall	1998-12-18
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	1998-12-16
\|
*	Removed info file name space, again, arrgggh.	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
\|
*	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
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	Tweaked docstring for C-c C-u.	David Aspinall	1998-12-16
\|
*	rationalised keybinding (again)	Thomas Kleymann	1998-12-16
\|
*	improved default keybindings	Thomas Kleymann	1998-12-16
\|
*	Added GPL license (I wrote this at home).	David Aspinall	1998-12-16
\| \| \| \|	Corrected name of Texinfo and other comments.
*	Fixed default for proof-shell-quit-cmd.	David Aspinall	1998-12-16
\|
*	Set version tag for new release.	David Aspinall	1998-12-15
\|
*	Used authorized keywords.	David Aspinall	1998-12-15
\|
*	Docstring fix.	David Aspinall	1998-12-15
\|
*	Docstring fixes	David Aspinall	1998-12-15
\|
*	Docstring fix	David Aspinall	1998-12-15
\|
*	Another todo idea added. This version sent to Emacs news groups.	David Aspinall	1998-12-15
\|
*	Idea for magical texi-docstring property for symbols to escape auto markup.	David Aspinall	1998-12-15
\|
*	Documented markup rules and usage at start of package.	David Aspinall	1998-12-15
\|
*	Improved documentation of proof-included-files-list.	David Aspinall	1998-12-15
\|
*	Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.	David Aspinall	1998-12-15
\|
*	Fixes for FSF Emacs handling of processes, kill buffer hooks,	David Aspinall	1998-12-15
\| \| \| \|	and live/dead overlays.
*	made many minor changes to the documentation	Thomas Kleymann	1998-12-15
\|
*	Gave up on buggy Emacs 19 support, now give error for Emacs 19.	David Aspinall	1998-12-14
\|
*	Reordered require of cl. Changed deflocal definition.	David Aspinall	1998-12-14
\|