| Commit message (Expand) | Author | Age |
* | proof-append-alist: detach queue span if no commands after comments stripped. | David Aspinall | 2007-08-19 |
* | Patch for utf-8 test | David Aspinall | 2007-05-10 |
* | Cut comint input ring, minor efficiency tweak. | David Aspinall | 2006-09-22 |
* | Comments. | David Aspinall | 2006-09-22 |
* | Fixed messages of prover process starting and errors in order to have | Pierre Courtieu | 2006-08-16 |
* | Add back 'raw-text setting, now LANG settings aren't taking effect again [me:... | David Aspinall | 2006-05-26 |
* | Fix to remove mention of coding-system-for-write, coding-system-for-read not ... | David Aspinall | 2006-05-23 |
* | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu | 2006-04-26 |
* | 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 | 2006-02-14 |
* | actually revert to revision 8.15; | Makarius Wenzel | 2005-11-14 |
* | backtracking my change on function | Pierre Courtieu | 2005-11-09 |
* | added match...with automatic building from atype name. | Pierre Courtieu | 2005-11-07 |
* | Issue proof-assistant-settings-cmd standardly after init cmd. | David Aspinall | 2005-09-30 |
* | Shorter aux buffer names | David Aspinall | 2005-09-27 |
* | refer to proof-shell-unicode for process-environment and coding-system; | Makarius Wenzel | 2005-09-14 |
* | eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt... | Makarius Wenzel | 2005-09-01 |
* | Comments. | David Aspinall | 2005-05-31 |
* | Fix the removal of ".UTF-8" from LANG. | David Aspinall | 2005-05-17 |
* | Try to avoid filtering/urgent-message-processing of input | David Aspinall | 2004-08-26 |
* | Don't make proof-shell-insert-hook buffer local. | David Aspinall | 2004-08-24 |
* | Simplify clear buffer calls | David Aspinall | 2004-08-24 |
* | Improve handling of intermittent fontification for trace buffers. | David Aspinall | 2004-06-24 |
* | Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se... | David Aspinall | 2004-06-16 |
* | Allow tracing slow mode to last 2 seconds. Make message more understandable. | David Aspinall | 2004-04-27 |
* | Allow CMD to be nil in proof-shell-invisible-command (failsafe). | David Aspinall | 2004-04-26 |
* | 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-18 |
* | Minor changes to avoid some compiler warnings | David Aspinall | 2004-04-17 |
* | Comments. | David Aspinall | 2004-04-15 |
* | Comments. | David Aspinall | 2004-04-15 |
* | Fix buglet in pgip eager annotation stripping. | David Aspinall | 2004-04-14 |
* | Abstract out proof-maybe-askprefs | David Aspinall | 2004-04-13 |
* | Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s... | David Aspinall | 2004-04-02 |
* | Adjust proof-shell-wait to use less CPU w/o timeout | David Aspinall | 2004-03-30 |
* | Fix a few compiler warnings | David Aspinall | 2004-03-02 |
* | 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 |