aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29TypoDavid Aspinall
1999-11-29Comments about improved handling of urgent message markers, followingDavid Aspinall
jrl's bug report about duplication of occasional urgent messages. The correct fix is to set proof-shell-eager-annotation-start-length properly.
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Typos.David Aspinall
1999-11-25Set version tag for new release.David Aspinall
1999-11-24DocstringDavid Aspinall
1999-11-24More docstring for proof-customize-toggle.David Aspinall
1999-11-24Improved docstrings. Generalised proof-set-bool -> proof-set-value.David Aspinall
1999-11-24Set version tag for new release.David Aspinall
1999-11-24Fixed extending queue bug. Many docstring improvementsDavid Aspinall
1999-11-24Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp ↵David Aspinall
functions.
1999-11-24Docstrings.David Aspinall
1999-11-24Many fixes to docstrings and comments. Added proof-analyse-using-stack here.David Aspinall
1999-11-24Recognize and label macros.David Aspinall
1999-11-23Set version tag for new release.David Aspinall
1999-11-23Rearrange comments.David Aspinall
1999-11-23docstring improvementDavid Aspinall
1999-11-23Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.David Aspinall
1999-11-23Don't bind button1 in goals buffer, so cut and paste still work.David Aspinall
1999-11-23Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.David Aspinall
1999-11-22Set version tag for new release.David Aspinall
1999-11-22Renamed proof-auto-delete-windows -> proof-delete-empty-windowsDavid Aspinall
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
1999-11-22Added curious commentDavid Aspinall
1999-11-22Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.David Aspinall
1999-11-22Fix a couple of group names, and comments at top of file.David Aspinall
1999-11-22Moved goto button.David Aspinall
1999-11-22Improved nothing to do error messageDavid Aspinall
1999-11-22Fix a couple of group names, and comments at top of file.David Aspinall
1999-11-22Fix so clicking on url works in bug reportDavid Aspinall
1999-11-19Set version tag for new release.David Aspinall
1999-11-19TypoDavid Aspinall
1999-11-19Fix for proof-script-new-command-advance.David Aspinall
1999-11-19Added goto buttonDavid Aspinall
1999-11-19Added texi-docstring-magic-untabify to fix tabs in docstrings.David Aspinall
1999-11-19Added pbp-yank-subterm, changed mouse bindings for goals buffer.David Aspinall
1999-11-19docstringDavid Aspinall
1999-11-19Removed spurious defn of proof-config.elDavid Aspinall
1999-11-19Fix proof-try-require for FSF Emacs.David Aspinall
1999-11-18Set version tag for new release.David Aspinall
1999-11-18Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to ↵David Aspinall
do the job.
1999-11-18Removed comment.David Aspinall
1999-11-18Use new function proof-try-require instead of condition-case ...David Aspinall
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.
1999-11-18Automatically generate special-display-regexps entry, andDavid Aspinall
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.
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-13 01:56:42 +0000