| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| specials. | |||
| 2008-01-15 | Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is ↵ | David Aspinall | |
| set. Cleanup comments. | |||
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, ↵ | David Aspinall | |
| namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | |||
| 2007-12-14 | Cleanup coding system setting, comments | David Aspinall | |
| 2007-12-14 | Add proof-shell-set-text-representation to disable multibyte characters in ↵ | David Aspinall | |
| legacy case. Use proof-shell-unicode to control whether bytes 128-255 are stripped from output. | |||
| 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 | |
| shell buffer. Supports copy-and-paste, fixing trac #112. | |||
| 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 | |
| Fixes trac report #138: processing comments alone leads to spurious read-only region. | |||
| 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 | |
| prog-args shown. It was confusing for users not to see what arguments was given to the prover. | |||
| 2006-05-26 | Add back 'raw-text setting, now LANG settings aren't taking effect again ↵ | David Aspinall | |
| [me: XEmacs 21.4.19 on FC5] | |||
| 2006-05-23 | Fix to remove mention of coding-system-for-write, coding-system-for-read not ↵ | David Aspinall | |
| available on non-Mule compiles | |||
| 2006-04-26 | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu | |
| allows using a span attribute to detect goal commands. I think I modified all modes accordingly. | |||
| 2006-02-14 | Revert use of 'raw-text for coding-system-for-read/write since it changes ↵ | David Aspinall | |
| behaviour in at least one Emacs version, causing PG to hang. | |||
| 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 | |
| proof-shell-invisible-cmd-get-result, we will fix this better with David soon (use of the noerror arg). | |||
| 2005-11-07 | added match...with automatic building from atype name. | Pierre Courtieu | |
| Had to correct a bug in proof-shell. | |||
| 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 ↵ | Makarius Wenzel | |
| pg-assoc-strip-subterm-markup; | |||
| 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 | |
| Protect x-symbol-shell-config against failure of the init-cmd. | |||
| 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 ↵ | David Aspinall | |
| setting. | |||
| 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 | |
| proof-shell-kill tear them down. Add proof-shell-fiddle-frames incase this causes mass customer annoyance. Also move point of specifier setting to after mode has been configured for associated buffer; this makes settings persist better on XEmacs. | |||
| 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 ↵ | David Aspinall | |
| startup. | |||
| 2004-03-30 | Adjust proof-shell-wait to use less CPU w/o timeout | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |