aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...David Aspinall
2010-08-17autosend loop: wait for shell after sending interrupt (ensures output processingDavid Aspinall
2010-08-17Set version tag for new release.David Aspinall
2010-08-17proof-shell-action-list-item: fix type for flags as an element, not a cdrDavid Aspinall
2010-08-17Critical sync fix: in pending interrupts case be sure toDavid Aspinall
2010-08-17Note about fix required to proof-autosend-error-pointDavid Aspinall
2010-08-17quit-prover: avoid kill buffer query questionDavid Aspinall
2010-08-17pg-response-has-error-location: save point in response bufferDavid Aspinall
2010-08-17WhitespaceDavid Aspinall
2010-08-17CommentsDavid Aspinall
2010-08-17Clean up handling of pending interrupts, remove experimental proof-shell-inte...David Aspinall
2010-08-17Autosend: prevent repeatedly sending erroneous commands (in progress)David Aspinall
2010-08-17Remove duplicate declarationDavid Aspinall
2010-08-17Make the modeline indicator change colour. Old XEmacs behaviour restored. Q...David Aspinall
2010-08-16Fix compile errors, update tagsDavid Aspinall
2010-08-15proof-issue-new-command: remove spurious goto-char (ref Trac #330)David Aspinall
2010-08-15Preliminary and experimental support for automatically sending commands.David Aspinall
2010-08-15proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...David Aspinall
2010-08-15Set version tag for new release.David Aspinall
2010-08-13proof-activate-scripting: make sure can succeed whenDavid Aspinall
2010-08-11Extend testingDavid Aspinall
2010-08-11Make proof-boring-face a bit darker again so almost visible.David Aspinall
2010-08-11Move some var+macro to fix compilationDavid Aspinall
2010-08-11Revert to 10.1 version of splash, with enhancements.David Aspinall
2010-08-11only run custom font-lock-fontify-syntactically-region on PG buffersDavid Aspinall
2010-08-11Support custom syntactic fontification. Split out pa macros.David Aspinall
2010-08-11Remove double provideDavid Aspinall
2010-08-08proof-assert-electric-terminator: give more user-friendly error message if un...David Aspinall
2010-08-08Add timestamps. Fix random jump spurious error.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.David Aspinall
2010-08-03pg-protected-undo: remove separate `proof-allow-undo-in-read-only' andDavid Aspinall
2010-08-03proof-assert-electric-terminator: fix logic for inserting at buffer endDavid Aspinall
2010-08-03Simplify messaging code. Make sure random jumps do something. Fix assert-pr...David Aspinall
2010-08-03Improve printing of test parameters.David Aspinall
2010-08-03Temporarily disable splashDavid Aspinall
2010-08-03Move key binding for proof assistant keymap (fixes compilation bug)David Aspinall
2010-08-03Fix compileDavid Aspinall
2010-08-03Resurrect autotest frameworkDavid Aspinall
2010-08-03save-some-buffers: only offer to save proof script buffersDavid Aspinall
2010-08-03proof-shell-wait, proof-shell-kill-function: avoid use of sit-for.David Aspinall
2010-08-03proof-deftoggle-fn: make ARG optional as suggested by docstringDavid Aspinall
2010-08-03Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.David Aspinall
2010-08-03proof-full-annotation: default to t; advanced users may turn off.David Aspinall
2010-08-02Add pg-protected-undo improved version due to Erik Martin-DorelDavid Aspinall
2010-07-08Set version tag for new release.David Aspinall
2010-07-08Cleanups for save-excursion to avoid warnings in latest Emacs versionsDavid Aspinall
2010-06-27`proof-shell-process-urgent-messages': fix to avoid duplicated messages (Trac...David Aspinall
2009-12-04Set version tag for new release.David Aspinall
2009-12-04docstringDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:36:05 +0000