| Age | Commit message (Expand) | Author |
|---|
| 2007-08-19 | proof-append-alist: detach queue span if no commands after comments stripped. | David Aspinall |
| 2007-05-10 | Patch for utf-8 test | David Aspinall |
| 2006-09-22 | Cut comint input ring, minor efficiency tweak. | David Aspinall |
| 2006-09-22 | Comments. | David Aspinall |
| 2006-08-16 | Fixed messages of prover process starting and errors in order to have | Pierre Courtieu |
| 2006-05-26 | Add back 'raw-text setting, now LANG settings aren't taking effect again [me:... | David Aspinall |
| 2006-05-23 | Fix to remove mention of coding-system-for-write, coding-system-for-read not ... | David Aspinall |
| 2006-04-26 | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu |
| 2006-02-14 | Revert use of 'raw-text for coding-system-for-read/write since it changes beh... | David Aspinall |
| 2006-02-14 | Add <PA>-prog-args and <PA>-prog-env | David Aspinall |
| 2005-11-14 | actually revert to revision 8.15; | Makarius Wenzel |
| 2005-11-09 | backtracking my change on function | Pierre Courtieu |
| 2005-11-07 | added match...with automatic building from atype name. | Pierre Courtieu |
| 2005-09-30 | Issue proof-assistant-settings-cmd standardly after init cmd. | David Aspinall |
| 2005-09-27 | Shorter aux buffer names | David Aspinall |
| 2005-09-14 | refer to proof-shell-unicode for process-environment and coding-system; | Makarius Wenzel |
| 2005-09-01 | eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt... | Makarius Wenzel |
| 2005-05-31 | Comments. | David Aspinall |
| 2005-05-17 | Fix the removal of ".UTF-8" from LANG. | David Aspinall |
| 2004-08-26 | Try to avoid filtering/urgent-message-processing of input | David Aspinall |
| 2004-08-24 | Don't make proof-shell-insert-hook buffer local. | David Aspinall |
| 2004-08-24 | Simplify clear buffer calls | David Aspinall |
| 2004-06-24 | Improve handling of intermittent fontification for trace buffers. | David Aspinall |
| 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 |
