aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
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 do...David Aspinall
1999-11-18Removed comment.David Aspinall
1999-11-18Use new function proof-try-require instead of condition-case ...David Aspinall
1999-11-18Automatically generate special-display-regexps entry, andDavid Aspinall
1999-11-18Changed eval-when-compile to eval-when (compile).David Aspinall
1999-11-18Moved response buffer code here.David Aspinall
1999-11-18Added user option for multiple frames.David Aspinall
1999-11-17Set version tag for new release.David Aspinall
1999-11-17Name change proof-window-dedicated -> proof-dont-switch-windows.David Aspinall
1999-11-17Bind mouse 2 as well as mouse 3 for pbpDavid Aspinall
1999-11-17Added some new code from another patch, but commented out for now.David Aspinall
1999-11-17Fix mouse bindings to be different for FSF/XEmacs versions.David Aspinall
1999-11-17Fix typoDavid Aspinall
1999-11-17Fix for FSF compatibilityDavid Aspinall
1999-11-17CommentsDavid Aspinall
1999-11-17Fix bugDavid Aspinall
1999-11-17Fix a few bugs/probs shown up by byte-compiling.David Aspinall
1999-11-17Add Function Menu to menu. Fix a few bugs/probs shown up by byte-compiling.David Aspinall
1999-11-16Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to fi...David Aspinall
1999-11-16Not strictly necessary to set proof-goal-command-regexpDavid Aspinall
1999-11-16Second version of easy-config, without defvaralias use.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 10:39:52 +0000