aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-shell.el
Commit message (Expand)AuthorAge
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
* Cleanup more Emacs compatibilityGravatar David Aspinall2009-05-27
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* recovered proof-shell-process-urgent-message, by re-introducing commented-out...Gravatar Makarius Wenzel2009-03-31
* Disable subterm markup removalGravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Minimal patch for Sledgehammer problem with Isabelle.Gravatar David Aspinall2008-07-10
* Use proof-auxmodes to load auxiliary modes properly when required.Gravatar David Aspinall2008-02-06
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Comment cleanups. buffer-substring -> buffer-substring-no-properties.Gravatar David Aspinall2008-01-30
* Add hooks for unicode tokens within proof shellGravatar David Aspinall2008-01-28
* split string on proof-rsh-commandGravatar David Aspinall2008-01-25
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Compilation tweaksGravatar David Aspinall2008-01-16
* Cleanup compileGravatar David Aspinall2008-01-16
* Before calling pg-response-display-with-face, strip eager annotation but not ...Gravatar David Aspinall2008-01-15
* Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is s...Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Cleanup coding system setting, commentsGravatar David Aspinall2007-12-14
* Add proof-shell-set-text-representation to disable multibyte characters in le...Gravatar David Aspinall2007-12-14
* Munging with input/output encoding; try to make consistent.Gravatar David Aspinall2007-12-14
* Tune some comments. Remove annotations in processed text fromGravatar David Aspinall2007-12-14
* Remvoe typoGravatar David Aspinall2007-12-13
* Comment the removal of the call to toggle-enable-multibyte-characters.Gravatar David Aspinall2007-12-13
* Compatibility with coq trunk where some special symbols are removed.Gravatar Pierre Courtieu2007-12-12
* proof-append-alist: detach queue span if no commands after comments stripped.Gravatar David Aspinall2007-08-19
* Patch for utf-8 testGravatar David Aspinall2007-05-10
* Cut comint input ring, minor efficiency tweak.Gravatar David Aspinall2006-09-22
* Comments.Gravatar David Aspinall2006-09-22
* Fixed messages of prover process starting and errors in order to haveGravatar Pierre Courtieu2006-08-16
* Add back 'raw-text setting, now LANG settings aren't taking effect again [me:...Gravatar David Aspinall2006-05-26
* Fix to remove mention of coding-system-for-write, coding-system-for-read not ...Gravatar David Aspinall2006-05-23
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* Revert use of 'raw-text for coding-system-for-read/write since it changes beh...Gravatar David Aspinall2006-02-14
* Add <PA>-prog-args and <PA>-prog-envGravatar David Aspinall2006-02-14
* actually revert to revision 8.15;Gravatar Makarius Wenzel2005-11-14
* backtracking my change on functionGravatar Pierre Courtieu2005-11-09
* added match...with automatic building from atype name.Gravatar Pierre Courtieu2005-11-07
* Issue proof-assistant-settings-cmd standardly after init cmd.Gravatar David Aspinall2005-09-30
* Shorter aux buffer namesGravatar David Aspinall2005-09-27
* refer to proof-shell-unicode for process-environment and coding-system;Gravatar Makarius Wenzel2005-09-14
* eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...Gravatar Makarius Wenzel2005-09-01
* Comments.Gravatar David Aspinall2005-05-31
* Fix the removal of ".UTF-8" from LANG.Gravatar David Aspinall2005-05-17
* Try to avoid filtering/urgent-message-processing of inputGravatar David Aspinall2004-08-26
* Don't make proof-shell-insert-hook buffer local.Gravatar David Aspinall2004-08-24
* Simplify clear buffer callsGravatar David Aspinall2004-08-24
* Improve handling of intermittent fontification for trace buffers.Gravatar David Aspinall2004-06-24
* Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...Gravatar David Aspinall2004-06-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 02:07:08 +0000