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-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.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 12:47:04 +0000