| Commit message (Expand) | Author | Age |
|---|
| * | Added proof-shell-strip-crs-from-input. |  David Aspinall | 2000-09-28 |
| * | Call (proof-toolbar-setup) to add toolbar to goals and response buffer | David Aspinall | 2000-09-23 |
| * | Add sanity check on important settings for proof shell (underway) | David Aspinall | 2000-09-12 |
| * | Added proof-shell-auto-terminate-commands | David Aspinall | 2000-08-29 |
| * | Added proof-shell-set-elisp-variable-regexp | David Aspinall | 2000-08-28 |
| * | Added split string on theorem dependency code, to make list of dependents. | David Aspinall | 2000-08-14 |
| * | bug fixing in matching theorem dependencies | David Aspinall | 2000-07-19 |
| * | changes to add theorem dependencies recording in spans | David Aspinall | 2000-07-19 |
| * | Remove modeline from extra frames (in XEmacs). | David Aspinall | 2000-06-22 |
| * | Strange ? got in by accident. | David Aspinall | 2000-06-09 |
| * | Remove toolbar and menubar from windows in multiple frame mode. | David Aspinall | 2000-06-09 |
| * | Added proof-next-error. | David Aspinall | 2000-06-05 |
| * | Use proof-running-on-XEmacs variable. | David Aspinall | 2000-06-01 |
| * | Made require on proof-menu instead of proof-script. | David Aspinall | 2000-06-01 |
| * | Change order of checks in proof-shell-live-buffer | David Aspinall | 2000-05-30 |
| * | Don\'t wait for ever if process dies on startup | David Aspinall | 2000-05-29 |
| * | Patch for synchronization problem in Coq, perhaps others. | David Aspinall | 2000-05-25 |
| * | Note abut ;;;###autoload not working for define-derived-mode. | David Aspinall | 2000-05-11 |
| * | Improved loading | David Aspinall | 2000-05-09 |
| * | Corrected header. | David Aspinall | 2000-05-05 |
| * | Comment. | David Aspinall | 2000-04-07 |
| * | pbp-mode -> goals-mode | David Aspinall | 2000-04-07 |
| * | Fixed up proof-shell-proof-completed mess nicely. | David Aspinall | 2000-04-07 |
| * | Added implementation of silent switch for turning on/off prover output. | David Aspinall | 2000-04-04 |
| * | Added proof-shell-clear-state function to collect together state clearing ops. | David Aspinall | 2000-04-04 |
| * | Update copyright dates, comments. | David Aspinall | 2000-04-04 |
| * | Fix for activating multiple frames when no active scripting buffer. | David Aspinall | 2000-03-22 |
| * | Comment | David Aspinall | 2000-03-19 |
| * | Comment about proof-goals-display-qed-message mess. | David Aspinall | 2000-03-13 |
| * | Names of shell, goals, script buffers now based on proof assistant name | David Aspinall | 2000-03-10 |
| * | Added proof-shell-process-connection-type. | David Aspinall | 2000-03-09 |
| * | Forced process-connection-type always to nil, after all. May not be an issue... | David Aspinall | 2000-02-29 |
| * | Added back ^G fix for Solaris, but not for non-mule FSF. | David Aspinall | 2000-02-28 |
| * | Temporary fix for problem with Emacs 20.5 reported by Pierre | David Aspinall | 2000-01-25 |
| * | Typo | David Aspinall | 1999-11-29 |
| * | Comments about improved handling of urgent message markers, following | David Aspinall | 1999-11-29 |
| * | Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp fu... | David Aspinall | 1999-11-24 |
| * | Don't bind button1 in goals buffer, so cut and paste still work. | David Aspinall | 1999-11-23 |
| * | proof-shell-done-invisible -> proof-done-invisible again | David Aspinall | 1999-11-22 |
| * | Added pbp-yank-subterm, changed mouse bindings for goals buffer. | David Aspinall | 1999-11-19 |
| * | Automatically generate special-display-regexps entry, and | David Aspinall | 1999-11-18 |
| * | 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 a few bugs/probs shown up by byte-compiling. | David Aspinall | 1999-11-17 |
| * | Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to fi... | David Aspinall | 1999-11-16 |
| * | Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script | David Aspinall | 1999-11-16 |
| * | Fix to shell filter for non-wakeup char instances of PG. | David Aspinall | 1999-11-16 |
| * | docstring | David Aspinall | 1999-11-15 |
| * | proof-grab-lock calls proof-shell-ready-prover with queuemode arg. Docstring... | David Aspinall | 1999-11-15 |
David Aspinall