aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
...
* 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
* proof-shell-wait, proof-shell-kill-function: avoid use of sit-for.Gravatar David Aspinall2010-08-03
* proof-deftoggle-fn: make ARG optional as suggested by docstringGravatar David Aspinall2010-08-03
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
* proof-full-annotation: default to t; advanced users may turn off.Gravatar David Aspinall2010-08-03
* Add pg-protected-undo improved version due to Erik Martin-DorelGravatar David Aspinall2010-08-02
* Set version tag for new release.Gravatar David Aspinall2010-07-08
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* `proof-shell-process-urgent-messages': fix to avoid duplicated messages (Trac...Gravatar David Aspinall2010-06-27
* Set version tag for new release.Gravatar David Aspinall2009-12-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 06:18:41 +0000