| Age | Commit message (Expand) | Author |
|---|
| 2001-09-03 | Added handling of tracing buffers using proof-shell-spill-output-regexp. | David Aspinall |
| 2001-08-31 | Add proof-shell-kill-function-hooks | David Aspinall |
| 2001-08-30 | Add reassurance to interrupt warning to make Markus happier. | David Aspinall |
| 2001-08-16 | Switch back to using goalsave spans in PBP code | David Aspinall |
| 2001-07-23 | Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals... | David Aspinall |
| 2001-05-08 | Copyright date updated | David Aspinall |
| 2001-03-20 | Remove temporary comments | David Aspinall |
| 2001-01-11 | fixed format strings in message, error, etc. | Makarius Wenzel |
| 2000-12-20 | Fix comment to not break texi magic | David Aspinall |
| 2000-12-20 | Improvements to span handling, including new variables: proof-shell-last-outp... | David Aspinall |
| 2000-11-24 | Added proof-shell-match-pgip-cmd | David Aspinall |
| 2000-09-28 | Added proof-shell-strip-crs-from-input. | David Aspinall |
| 2000-09-23 | Call (proof-toolbar-setup) to add toolbar to goals and response buffer | David Aspinall |
| 2000-09-12 | Add sanity check on important settings for proof shell (underway) | David Aspinall |
| 2000-08-29 | Added proof-shell-auto-terminate-commands | David Aspinall |
| 2000-08-28 | Added proof-shell-set-elisp-variable-regexp | David Aspinall |
| 2000-08-14 | Added split string on theorem dependency code, to make list of dependents. | David Aspinall |
| 2000-07-19 | bug fixing in matching theorem dependencies | David Aspinall |
| 2000-07-19 | changes to add theorem dependencies recording in spans | David Aspinall |
| 2000-06-22 | Remove modeline from extra frames (in XEmacs). | David Aspinall |
| 2000-06-09 | Strange ? got in by accident. | David Aspinall |
| 2000-06-09 | Remove toolbar and menubar from windows in multiple frame mode. | David Aspinall |
| 2000-06-05 | Added proof-next-error. | David Aspinall |
| 2000-06-01 | Use proof-running-on-XEmacs variable. | David Aspinall |
| 2000-06-01 | Made require on proof-menu instead of proof-script. | David Aspinall |
| 2000-05-30 | Change order of checks in proof-shell-live-buffer | David Aspinall |
| 2000-05-29 | Don\'t wait for ever if process dies on startup | David Aspinall |
| 2000-05-25 | Patch for synchronization problem in Coq, perhaps others. | David Aspinall |
| 2000-05-11 | Note abut ;;;###autoload not working for define-derived-mode. | David Aspinall |
| 2000-05-09 | Improved loading | David Aspinall |
| 2000-05-05 | Corrected header. | David Aspinall |
| 2000-04-07 | 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-04 | 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-03-22 | Fix for activating multiple frames when no active scripting buffer. | David Aspinall |
| 2000-03-19 | Comment | David Aspinall |
| 2000-03-13 | Comment about proof-goals-display-qed-message mess. | David Aspinall |
| 2000-03-10 | Names of shell, goals, script buffers now based on proof assistant name | David Aspinall |
| 2000-03-09 | Added proof-shell-process-connection-type. | David Aspinall |
| 2000-02-29 | Forced process-connection-type always to nil, after all. May not be an issue... | David Aspinall |
| 2000-02-28 | Added back ^G fix for Solaris, but not for non-mule FSF. | David Aspinall |
| 2000-01-25 | Temporary fix for problem with Emacs 20.5 reported by Pierre | David Aspinall |
| 1999-11-29 | Typo | David Aspinall |
| 1999-11-29 | Comments about improved handling of urgent message markers, following | David Aspinall |
| 1999-11-24 | Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp fu... | David Aspinall |
| 1999-11-23 | Don't bind button1 in goals buffer, so cut and paste still work. | David Aspinall |
| 1999-11-22 | proof-shell-done-invisible -> proof-done-invisible again | David Aspinall |
