proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Use new function proof-try-require instead of condition-case ...	David Aspinall	1999-11-18
\| \| \| \| \| \| \|	Make switching on/off possibly more smooth by cleaning response buffer and sending show proof command to proof assistant. Also, when turning on/off run proof-x-symbol-mode in all buffers in proof-xsym-extra-modes. Nice for Isabelle theories.
*	Automatically generate special-display-regexps entry, and	David Aspinall	1999-11-18
\| \| \| \| \| \| \|	add function for new multiple frames user option. Don't display "done" in goals buffer (may never happen anyway) Remove code for response buffer erasing. Clean some comments.
*	Changed eval-when-compile to eval-when (compile).	David Aspinall	1999-11-18
\| \| \| \| \| \| \| \| \|	Made a new menu for quick options editing, put it in shared menu. Added options for multiple frames, auto delete windows. Toolbar :active is now more sringent, must be in script buffer. Use proof-try-require to load func-menu in mode definition, solving problem of func-menu configuration before it's loaded. Cleaned up some comments.
*	Moved response buffer code here.	David Aspinall	1999-11-18
\| \| \| \| \|	Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust