aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Remove dead codeGravatar David Aspinall2010-08-20
* UpdateGravatar David Aspinall2010-08-20
* Support Unicode from tokens. Add export for whole directoryGravatar David Aspinall2010-08-20
* Add Fast Process Buffer optionGravatar David Aspinall2010-08-19
* Set version tag for new release.Gravatar David Aspinall2010-08-19
* proof-shell-process-connection-type: Revert to long-lived previous default of...Gravatar David Aspinall2010-08-19
* CommentsGravatar David Aspinall2010-08-19
* Remove redisplay from wait loop, only redisplay on exit. Big speed-upGravatar David Aspinall2010-08-18
* proof-autosend-loop: don't enter if shell is already busy processingGravatar David Aspinall2010-08-18
* proof-shell-start: tidy upGravatar David Aspinall2010-08-18
* Remove clashing key binding for C-c C-sGravatar David Aspinall2010-08-18
* UpdatedGravatar David Aspinall2010-08-18
* proof-shell-process-connection-type: remove near obsolete test and textGravatar David Aspinall2010-08-18
* proof-debug advice: Fix passing format argGravatar David Aspinall2010-08-18
* Style fixesGravatar David Aspinall2010-08-18
* Improve messageGravatar David Aspinall2010-08-18
* Style fix in messagesGravatar David Aspinall2010-08-18
* Correct comment; try setting process-adaptive-read-buffering to nil.Gravatar David Aspinall2010-08-18
* Re Trac #324:Gravatar David Aspinall2010-08-17
* Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...Gravatar David Aspinall2010-08-17
* autosend loop: wait for shell after sending interrupt (ensures output processingGravatar David Aspinall2010-08-17
* Set version tag for new release.Gravatar David Aspinall2010-08-17
* proof-shell-action-list-item: fix type for flags as an element, not a cdrGravatar David Aspinall2010-08-17
* Critical sync fix: in pending interrupts case be sure toGravatar David Aspinall2010-08-17
* Note about fix required to proof-autosend-error-pointGravatar David Aspinall2010-08-17
* quit-prover: avoid kill buffer query questionGravatar David Aspinall2010-08-17
* pg-response-has-error-location: save point in response bufferGravatar David Aspinall2010-08-17
* WhitespaceGravatar David Aspinall2010-08-17
* CommentsGravatar David Aspinall2010-08-17
* Clean up handling of pending interrupts, remove experimental proof-shell-inte...Gravatar David Aspinall2010-08-17
* Autosend: prevent repeatedly sending erroneous commands (in progress)Gravatar David Aspinall2010-08-17
* Remove duplicate declarationGravatar David Aspinall2010-08-17
* Make the modeline indicator change colour. Old XEmacs behaviour restored. Q...Gravatar David Aspinall2010-08-17
* Fix compile errors, update tagsGravatar David Aspinall2010-08-16
* proof-issue-new-command: remove spurious goto-char (ref Trac #330)Gravatar David Aspinall2010-08-15
* Preliminary and experimental support for automatically sending commands.Gravatar David Aspinall2010-08-15
* proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...Gravatar David Aspinall2010-08-15
* Set version tag for new release.Gravatar David Aspinall2010-08-15
* proof-activate-scripting: make sure can succeed whenGravatar David Aspinall2010-08-13
* Extend testingGravatar David Aspinall2010-08-11
* Make proof-boring-face a bit darker again so almost visible.Gravatar David Aspinall2010-08-11
* Move some var+macro to fix compilationGravatar David Aspinall2010-08-11
* Revert to 10.1 version of splash, with enhancements.Gravatar David Aspinall2010-08-11
* only run custom font-lock-fontify-syntactically-region on PG buffersGravatar David Aspinall2010-08-11
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11
* Remove double provideGravatar David Aspinall2010-08-11
* proof-assert-electric-terminator: give more user-friendly error message if un...Gravatar David Aspinall2010-08-08
* Add timestamps. Fix random jump spurious error.Gravatar David Aspinall2010-08-08
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.Gravatar David Aspinall2010-08-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 07:08:36 +0000