| Commit message (Expand) | Author | Age |
|---|
| * | Compatibility with coq trunk where some special symbols are removed. |  Pierre Courtieu | 2007-12-12 |
| * | 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 |
Pierre Courtieu
David Aspinall
Makarius Wenzel