| Age | Commit message (Expand) | Author |
|---|
| 2009-09-06 | Make sure proof-shell-last-output, proof-shell-last-prompt and | David Aspinall |
| 2009-09-06 | Reorganisation to avoid generating many intermediate strings from | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-09-04 | replace-in-string -> replace-regexp-in-string | David Aspinall |
| 2009-09-04 | Define a cleanup function to run intermittently or by hand, avoiding pg-remov... | David Aspinall |
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall |
| 2009-09-04 | Require on scomint in right place | David Aspinall |
| 2009-09-04 | Possible bug in interrupt signaling discovered | David Aspinall |
| 2009-09-04 | Use scomint instead of comint | David Aspinall |
| 2009-09-03 | Shorten startup message | David Aspinall |
| 2009-08-28 | Fix compile warnings | David Aspinall |
| 2009-08-20 | Doc tweaks via checkdoc. | David Aspinall |
| 2009-08-20 | Documentation improvements. | David Aspinall |
| 2009-08-19 | proof-shell-insert: add scriptspan argument, to pass source positions to proo... | David Aspinall |
| 2009-08-17 | Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour... | David Aspinall |
| 2009-08-14 | Start refactoring to support more sophisticated queue handling, by adding fla... | David Aspinall |
| 2009-08-07 | rename: proof-full-decoration -> proof-full-annotation | David Aspinall |
| 2009-05-27 | Cleanup more Emacs compatibility | David Aspinall |
| 2009-05-26 | Add proof state hover messages to proof script, along with useful customization. | David Aspinall |
| 2009-05-26 | Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c... | David Aspinall |
| 2009-03-31 | recovered proof-shell-process-urgent-message, by re-introducing commented-out... | Makarius Wenzel |
| 2008-08-03 | Disable subterm markup removal | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-10 | Minimal patch for Sledgehammer problem with Isabelle. | David Aspinall |
| 2008-02-06 | Use proof-auxmodes to load auxiliary modes properly when required. | David Aspinall |
| 2008-01-30 | Fix RCS tags | David Aspinall |
| 2008-01-30 | Comment cleanups. buffer-substring -> buffer-substring-no-properties. | David Aspinall |
| 2008-01-28 | Add hooks for unicode tokens within proof shell | David Aspinall |
| 2008-01-25 | split string on proof-rsh-command | David Aspinall |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall |
| 2008-01-16 | Compilation tweaks | David Aspinall |
| 2008-01-16 | Cleanup compile | David Aspinall |
| 2008-01-15 | Before calling pg-response-display-with-face, strip eager annotation but not ... | David Aspinall |
| 2008-01-15 | Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is s... | David Aspinall |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall |
| 2007-12-14 | Cleanup coding system setting, comments | David Aspinall |
| 2007-12-14 | Add proof-shell-set-text-representation to disable multibyte characters in le... | David Aspinall |
| 2007-12-14 | Munging with input/output encoding; try to make consistent. | David Aspinall |
| 2007-12-14 | Tune some comments. Remove annotations in processed text from | David Aspinall |
| 2007-12-13 | Remvoe typo | David Aspinall |
| 2007-12-13 | Comment the removal of the call to toggle-enable-multibyte-characters. | David Aspinall |
| 2007-12-12 | Compatibility with coq trunk where some special symbols are removed. | Pierre Courtieu |
| 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 |
