| Age | Commit message (Expand) | Author |
|---|
| 2004-06-16 | Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se... | David Aspinall |
| 2004-04-27 | Allow tracing slow mode to last 2 seconds. Make message more understandable. | David Aspinall |
| 2004-04-26 | Allow CMD to be nil in proof-shell-invisible-command (failsafe). | David Aspinall |
| 2004-04-18 | Add proof-eagerly-raise setting, disable it for trace buffer. | David Aspinall |
| 2004-04-18 | Try to stop frame proliferation: let proof-shell-start make frames, | David Aspinall |
| 2004-04-17 | Minor changes to avoid some compiler warnings | David Aspinall |
| 2004-04-15 | Comments. | David Aspinall |
| 2004-04-15 | Comments. | David Aspinall |
| 2004-04-14 | Fix buglet in pgip eager annotation stripping. | David Aspinall |
| 2004-04-13 | Abstract out proof-maybe-askprefs | David Aspinall |
| 2004-04-02 | Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s... | David Aspinall |
| 2004-03-30 | Adjust proof-shell-wait to use less CPU w/o timeout | David Aspinall |
| 2004-03-02 | Fix a few compiler warnings | David Aspinall |
| 2004-03-01 | Fix buglets shown up by byte compilation. | David Aspinall |
| 2003-10-05 | Add interactive input setting, and extra flags for action. | David Aspinall |
| 2003-06-19 | Add idle timer to cleanup tracing display. | David Aspinall |
| 2003-06-08 | Comments. | David Aspinall |
| 2003-06-05 | Add code to recognize fast tracing output from prover, and play slow catchup. | David Aspinall |
| 2003-05-24 | Add hint triggered when processing complete | David Aspinall |
| 2003-05-21 | Comments | David Aspinall |
| 2003-03-17 | Make colour of active scripting indicator change as documented | David Aspinall |
| 2003-02-19 | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | David Aspinall |
| 2003-02-17 | 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 |
| 2002-12-29 | Buglet in proof-shell-ready-prover | David Aspinall |
| 2002-11-28 | Revert proof-shell-handle-output version, add failsafe. | David Aspinall |
| 2002-11-20 | proof-shell-invisible-cmd also accepts a function yielding a command. | David Aspinall |
| 2002-11-14 | Tweak calling of pg-pgip processing commands. | David Aspinall |
| 2002-11-13 | Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o... | David Aspinall |
| 2002-11-11 | (Failed) Attempt to fix UTF-8 problem for RH8. | David Aspinall |
| 2002-11-07 | Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus... | David Aspinall |
| 2002-09-14 | Change to proof-shell-ready-prover to allow more flexible queue handling | David Aspinall |
| 2002-09-13 | Comment on display anomaly | David Aspinall |
| 2002-09-11 | Begin support for thms buffer | David Aspinall |
| 2002-08-30 | Updated. | David Aspinall |
| 2002-08-28 | 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-27 | Disable undo history for efficiency; improve kill buffer hook. | David Aspinall |
| 2002-08-15 | Refactoring. | David Aspinall |
| 2002-08-07 | 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-07-19 | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall |
| 2002-07-18 | Dont call dont-show-annotations for GNU Emacs to avoid nasty bug. | David Aspinall |
| 2002-07-17 | Add proof-shell-invisible-cmd-get-result | David Aspinall |
| 2002-07-16 | 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-12 | Trivial | David Aspinall |
| 2002-06-30 | When killing process or scripting buffer, register file if it is complete, ra... | David Aspinall |
