| Commit message (Expand) | Author | Age |
|---|
| * | Fix buglets shown up by byte compilation. |  David Aspinall | 2004-03-01 |
| * | Add interactive input setting, and extra flags for action. | David Aspinall | 2003-10-05 |
| * | Add idle timer to cleanup tracing display. | David Aspinall | 2003-06-19 |
| * | Comments. | David Aspinall | 2003-06-08 |
| * | Add code to recognize fast tracing output from prover, and play slow catchup. | David Aspinall | 2003-06-05 |
| * | Add hint triggered when processing complete | David Aspinall | 2003-05-24 |
| * | Comments | David Aspinall | 2003-05-21 |
| * | Make colour of active scripting indicator change as documented | David Aspinall | 2003-03-17 |
| * | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | David Aspinall | 2003-02-19 |
| * | Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p... | David Aspinall | 2003-02-17 |
| * | Remove subterm markup striping in proof-shell-process-output (error case). Docs | David Aspinall | 2003-02-17 |
| * | Buglet in proof-shell-ready-prover | David Aspinall | 2002-12-29 |
| * | Revert proof-shell-handle-output version, add failsafe. | David Aspinall | 2002-11-28 |
| * | proof-shell-invisible-cmd also accepts a function yielding a command. | David Aspinall | 2002-11-20 |
| * | Tweak calling of pg-pgip processing commands. | David Aspinall | 2002-11-14 |
| * | Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o... | David Aspinall | 2002-11-13 |
| * | (Failed) Attempt to fix UTF-8 problem for RH8. | David Aspinall | 2002-11-11 |
| * | Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus... | David Aspinall | 2002-11-07 |
| * | Change to proof-shell-ready-prover to allow more flexible queue handling | David Aspinall | 2002-09-14 |
| * | Comment on display anomaly | David Aspinall | 2002-09-13 |
| * | Begin support for thms buffer | David Aspinall | 2002-09-11 |
| * | Updated. | David Aspinall | 2002-08-30 |
| * | Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep... | David Aspinall | 2002-08-28 |
| * | Add proof-shell-theorem-dependency-list-split | David Aspinall | 2002-08-28 |
| * | Disable undo history for efficiency; improve kill buffer hook. | David Aspinall | 2002-08-27 |
| * | Refactoring. | David Aspinall | 2002-08-15 |
| * | Add proof-shell-strip-crs-from-output | David Aspinall | 2002-08-07 |
| * | Reorganized menus; add options save function; fix capitalization of names | David Aspinall | 2002-08-07 |
| * | Comments | David Aspinall | 2002-08-07 |
| * | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall | 2002-07-19 |
| * | Dont call dont-show-annotations for GNU Emacs to avoid nasty bug. | David Aspinall | 2002-07-18 |
| * | Add proof-shell-invisible-cmd-get-result | David Aspinall | 2002-07-17 |
| * | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall | 2002-07-16 |
| * | Refactoring | David Aspinall | 2002-07-16 |
| * | Cleaning up PBP code | David Aspinall | 2002-07-16 |
| * | Trivial | David Aspinall | 2002-07-12 |
| * | When killing process or scripting buffer, register file if it is complete, ra... | David Aspinall | 2002-06-30 |
| * | proof-shell-kill-function: deactivate scripting before shutting down prover | David Aspinall | 2002-06-30 |
| * | GPL | David Aspinall | 2002-06-21 |
| * | Add proof-shell-last-prompt. | David Aspinall | 2002-06-19 |
| * | Experiment with showing real prover output for aborted proofs. | David Aspinall | 2002-06-13 |
| * | Add proof-nesting-depth, new implementation of span amalgamation in proof-don... | David Aspinall | 2002-06-11 |
| * | Clean up span.el loading | David Aspinall | 2002-06-08 |
| * | Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo... | David Aspinall | 2002-03-21 |
| * | Add check for Emacs21. | David Aspinall | 2002-02-23 |
| * | Only create trace buffer if liable to be used. Remove experimental spill-out... | David Aspinall | 2002-01-16 |
| * | Remove defunct code | David Aspinall | 2002-01-15 |
| * | Inspect quit-flag when displaying tracing output; send an interrupt to the pr... | David Aspinall | 2002-01-15 |
| * | Redisplay during tracing output on XEmacs | David Aspinall | 2002-01-15 |
| * | Missing paren | David Aspinall | 2001-12-11 |
David Aspinall