proof-general - Emacs interface for proof assistants

	Commit message (Expand)	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
*	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 fu...	David Aspinall	1999-11-24
*	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 do...	David Aspinall	1999-11-18
*	Removed comment.	David Aspinall	1999-11-18