aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-shell.el
Commit message (Expand)AuthorAge
...
* Disable process-adaptive-read-buffering: massive slow down for shortGravatar David Aspinall2009-09-10
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* Prevent font-lock in shell by altering font-lock-global-modes locallyGravatar David Aspinall2009-09-09
* Clear shell buffer contents on restart.Gravatar David Aspinall2009-09-09
* Simplify output processing; delay some goals/response classificationGravatar David Aspinall2009-09-09
* proof-shell-handle-error-output: renamed, and simplifiedGravatar David Aspinall2009-09-08
* WhitespaceGravatar David Aspinall2009-09-07
* Make sure proof-shell-last-output, proof-shell-last-prompt andGravatar David Aspinall2009-09-06
* Reorganisation to avoid generating many intermediate strings fromGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
* Define a cleanup function to run intermittently or by hand, avoiding pg-remov...Gravatar David Aspinall2009-09-04
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Require on scomint in right placeGravatar David Aspinall2009-09-04
* Possible bug in interrupt signaling discoveredGravatar David Aspinall2009-09-04
* Use scomint instead of comintGravatar David Aspinall2009-09-04
* Shorten startup messageGravatar David Aspinall2009-09-03
* Fix compile warningsGravatar David Aspinall2009-08-28
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* Documentation improvements.Gravatar David Aspinall2009-08-20
* proof-shell-insert: add scriptspan argument, to pass source positions to proo...Gravatar David Aspinall2009-08-19
* Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...Gravatar David Aspinall2009-08-17
* Start refactoring to support more sophisticated queue handling, by adding fla...Gravatar David Aspinall2009-08-14
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 19:08:38 +0000