proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	1999-12-01
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-29
\|
*	Set version tag for new release.	David Aspinall	1999-11-29
\|
*	Typo	David Aspinall	1999-11-29
\|
*	Comments about improved handling of urgent message markers, following	David Aspinall	1999-11-29
\| \| \| \| \| \|	jrl's bug report about duplication of occasional urgent messages. The correct fix is to set proof-shell-eager-annotation-start-length properly.
*	Set version tag for new release.	David Aspinall	1999-11-26
\|
*	Set version tag for new release.	David Aspinall	1999-11-26
\|
*	Typos.	David Aspinall	1999-11-26
\|
*	Set version tag for new release.	David Aspinall	1999-11-25
\|
*	Docstring	David Aspinall	1999-11-24
\|
*	More docstring for proof-customize-toggle.	David Aspinall	1999-11-24
\|
*	Improved docstrings. Generalised proof-set-bool -> proof-set-value.	David Aspinall	1999-11-24
\|
*	Set version tag for new release.	David Aspinall	1999-11-24
\|
*	Fixed extending queue bug. Many docstring improvements	David Aspinall	1999-11-24
\|
*	Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp ↵	David Aspinall	1999-11-24
\| \| \| \|	functions.
*	Docstrings.	David Aspinall	1999-11-24
\|
*	Many fixes to docstrings and comments. Added proof-analyse-using-stack here.	David Aspinall	1999-11-24
\|
*	Recognize and label macros.	David Aspinall	1999-11-24
\|
*	Set version tag for new release.	David Aspinall	1999-11-23
\|
*	Rearrange comments.	David Aspinall	1999-11-23
\|
*	docstring improvement	David Aspinall	1999-11-23
\|
*	Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.	David Aspinall	1999-11-23
\|
*	Don't bind button1 in goals buffer, so cut and paste still work.	David Aspinall	1999-11-23
\|
*	Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.	David Aspinall	1999-11-23
\|
*	Set version tag for new release.	David Aspinall	1999-11-22
\|
*	Renamed proof-auto-delete-windows -> proof-delete-empty-windows	David Aspinall	1999-11-22
\|
*	proof-shell-done-invisible -> proof-done-invisible again	David Aspinall	1999-11-22
\|
*	Added curious comment	David Aspinall	1999-11-22
\|
*	Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.	David Aspinall	1999-11-22
\|
*	Fix a couple of group names, and comments at top of file.	David Aspinall	1999-11-22
\|
*	Moved goto button.	David Aspinall	1999-11-22
\|
*	Improved nothing to do error message	David Aspinall	1999-11-22
\|
*	Fix a couple of group names, and comments at top of file.	David Aspinall	1999-11-22
\|
*	Fix so clicking on url works in bug report	David Aspinall	1999-11-22
\|
*	Set version tag for new release.	David Aspinall	1999-11-19
\|
*	Typo	David Aspinall	1999-11-19
\|
*	Fix for proof-script-new-command-advance.	David Aspinall	1999-11-19
\|
*	Added goto button	David Aspinall	1999-11-19
\|
*	Added texi-docstring-magic-untabify to fix tabs in docstrings.	David Aspinall	1999-11-19
\|
*	Added pbp-yank-subterm, changed mouse bindings for goals buffer.	David Aspinall	1999-11-19
\|
*	docstring	David Aspinall	1999-11-19
\|
*	Removed spurious defn of proof-config.el	David Aspinall	1999-11-19
\|
*	Fix proof-try-require for FSF Emacs.	David Aspinall	1999-11-19
\|
*	Set version tag for new release.	David Aspinall	1999-11-18
\|
*	Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to ↵	David Aspinall	1999-11-18
\| \| \| \|	do the job.
*	Removed comment.	David Aspinall	1999-11-18
\|