aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* pg-protected-undo: remove separate `proof-allow-undo-in-read-only' andGravatar David Aspinall2010-08-03
* proof-assert-electric-terminator: fix logic for inserting at buffer endGravatar David Aspinall2010-08-03
* Simplify messaging code. Make sure random jumps do something. Fix assert-pr...Gravatar David Aspinall2010-08-03
* Improve printing of test parameters.Gravatar David Aspinall2010-08-03
* Temporarily disable splashGravatar David Aspinall2010-08-03
* Move key binding for proof assistant keymap (fixes compilation bug)Gravatar David Aspinall2010-08-03
* Fix compileGravatar David Aspinall2010-08-03
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
* save-some-buffers: only offer to save proof script buffersGravatar David Aspinall2010-08-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 05:16:41 +0000