| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 1999-11-19 | Added pbp-yank-subterm, changed mouse bindings for goals buffer. | David Aspinall |
| 1999-11-18 | Automatically generate special-display-regexps entry, and | 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 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 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-15 | docstring | David Aspinall |
| 1999-11-15 | proof-grab-lock calls proof-shell-ready-prover with queuemode arg. Docstring... | David Aspinall |
| 1999-11-15 | Fix for FSF Emacs. Added timeout arg to proof-shell-wait. | David Aspinall |
| 1999-11-14 | Many robustness improvements for error and interrupt handling: | David Aspinall |
| 1999-11-14 | proof-nested-goals-allowed -> proof-completed-proof-behaviour | David Aspinall |
| 1999-11-13 | comments | David Aspinall |
| 1999-11-12 | Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class ... | David Aspinall |
| 1999-11-12 | Made display table stuff interactive. | David Aspinall |
| 1999-11-12 | Fixes for response buffer display, x-symbol, output formatting. | David Aspinall |
| 1999-11-11 | Added option for sending qed output to goals buffer for Isabelle | David Aspinall |
| 1999-11-11 | small changes to plastic mode | Paul Callaghan |
| 1999-11-11 | Next round of fixups for font-lock and x-symbol. | David Aspinall |
| 1999-11-11 | Extensive fixes for x-symbol and font-lock. | David Aspinall |
| 1999-11-11 | Patches for urgent message processing. | David Aspinall |
| 1999-11-10 | Moved utility function proof-files-to-buffers to proof.el. Fixed local var | David Aspinall |
| 1999-11-09 | Generic support for x-symbol tuned up. | David Aspinall |
| 1999-11-08 | Provisional updates for x-symbol support (incomplete) | David Aspinall |
| 1999-10-27 | update of x-symbol stuff by DvO; | Makarius Wenzel |
| 1999-10-25 | Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string) | David Aspinall |
| 1999-10-21 | docstring | David Aspinall |
| 1999-10-15 | FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch. | David Aspinall |
| 1999-10-15 | Failed attempt to fix sentinel problem | David Aspinall |
| 1999-10-15 | comments added. | David Aspinall |
| 1999-10-15 | Disabled proliferation of proof shell buffers. | David Aspinall |
| 1999-10-14 | Docstring | David Aspinall |
