| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-18 | 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 | |
| do the job. | |||
| 1999-11-18 | Removed comment. | David Aspinall | |
| 1999-11-18 | Use 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-18 | Automatically generate special-display-regexps entry, and | David 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. | |||
| 1999-11-18 | Changed eval-when-compile to eval-when (compile). | David Aspinall | |
| 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. | |||
| 1999-11-18 | Moved response buffer code here. | David Aspinall | |
| Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust | |||
| 1999-11-18 | Added user option for multiple frames. | David Aspinall | |
| 1999-11-17 | Set version tag for new release. | David Aspinall | |
| 1999-11-17 | Name change proof-window-dedicated -> proof-dont-switch-windows. | David Aspinall | |
| 1999-11-17 | Bind mouse 2 as well as mouse 3 for pbp | David Aspinall | |
| 1999-11-17 | Added some new code from another patch, but commented out for now. | David Aspinall | |
| 1999-11-17 | Fix mouse bindings to be different for FSF/XEmacs versions. | David Aspinall | |
| 1999-11-17 | Fix typo | David Aspinall | |
| 1999-11-17 | Fix for FSF compatibility | David Aspinall | |
| 1999-11-17 | Comments | David Aspinall | |
| 1999-11-17 | Fix bug | David Aspinall | |
| 1999-11-17 | Fix a few bugs/probs shown up by byte-compiling. | David Aspinall | |
| 1999-11-17 | Add Function Menu to menu. Fix a few bugs/probs shown up by byte-compiling. | David Aspinall | |
| 1999-11-16 | Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to ↵ | David Aspinall | |
| fix 'no-catch for exited tag' buglet. | |||
| 1999-11-16 | Not strictly necessary to set proof-goal-command-regexp | David Aspinall | |
| 1999-11-16 | Second version of easy-config, without defvaralias use. | David Aspinall | |
| 1999-11-16 | Fix type of proof-completed-proof-behaviour. | David Aspinall | |
| 1999-11-16 | Working version of easy-config. | David Aspinall | |
| 1999-11-16 | Turn debug messages off by default. | David Aspinall | |
| 1999-11-16 | Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script | David Aspinall | |
| 1999-11-16 | Set version tag for new release. | David Aspinall | |
| 1999-11-16 | Fix for proof-minibuffer-cmd. Remove old keybindings. | David Aspinall | |
| 1999-11-16 | Note about how to use demoisa and isar instances. Other comments | David Aspinall | |
| 1999-11-16 | Added proof-string-match-safe and proof-stringfn-match (also safe) | David Aspinall | |
| 1999-11-16 | Preliminary, not for 3.0. | David Aspinall | |
| 1999-11-16 | Fix for retraction order with auto-multiple-files. | David Aspinall | |
| Let proof-undo-and-delete-last-successful-command work from other buffers. Made kill buffer function more robust. New! Added generic defaults for count-undos, goal-command-p, state-preserving-p. Used in demoisa instance for now, others to use later. Added checks that important configuration variables are set, and set defaults for some others. | |||
| 1999-11-16 | Docstrings, bug report msg. Added proof-warn-if-unset. | David Aspinall | |
| 1999-11-16 | Fix to shell filter for non-wakeup char instances of PG. | David Aspinall | |
| Fix to proof-shell-insert-loopback-cmd for pbp. Don't call pbp-make-top-span if proof-goal-hyp-fn is unset. Remove extra newline in goals output. Removed some dead code. Made code robust against more settings being unset. Added menu to goals buffer. Set key "q" in response and goals buffers to bury-buffer. Quit timeout variable. | |||
| 1999-11-16 | New settings for generic count-undos code: | David Aspinall | |
| proof-non-undoables-regexp, proof-ignore-for-undo-count, Added proof-shell-quit-timeout Deprecate brand new setting proof-goals-display-qed-message. Improved docstrings, changed some defaults to useful values. | |||
| 1999-11-15 | Splash time=2, trying to unify FSF and XEmacs. | David Aspinall | |
| 1999-11-15 | docstring | David Aspinall | |
| 1999-11-15 | Repaired FSF font-locking. Define toggler for output hilite enable. | David Aspinall | |
| 1999-11-15 | Fixed mistake in function names. Tidied menus a bit | David Aspinall | |
| 1999-11-15 | Fixes for FSF overlay obscurity. | David Aspinall | |
| 1999-11-15 | Set version tag for new release. | David Aspinall | |
| 1999-11-15 | Moved proof-switch-to-buffer here from proof-script.el | David Aspinall | |
| 1999-11-15 | Moved code for user-commands to proof-script.el. | David Aspinall | |
| 1999-11-15 | proof-grab-lock calls proof-shell-ready-prover with queuemode arg. ↵ | David Aspinall | |
| Docstring and debug msgs | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |