aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to ↵David Aspinall
support this.
2010-08-17autosend loop: wait for shell after sending interrupt (ensures output processingDavid Aspinall
happens when proof-autosend-running is set).
2010-08-17Set version tag for new release.David Aspinall
2010-08-17Fix key bindings. Ref Trac#334David 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
invoke callbacks before detaching queue. Fix to passing of display flags.
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-17Minor tweaks to versions, etc.David Aspinall
2010-08-17CommentsDavid Aspinall
2010-08-17Bump Emacs versionDavid Aspinall
2010-08-17Clean up handling of pending interrupts, remove experimental ↵David Aspinall
proof-shell-interrupts-after-commit.
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. ↵David Aspinall
Questionable UI benefit.
2010-08-16Set proof-shell-interrupts-after-commit = nilDavid 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-15Remove superfluous spaces (re Trac #331).David Aspinall
2010-08-15Preliminary and experimental support for automatically sending commands.David Aspinall
2010-08-15Update.David Aspinall
2010-08-15proof-shell-interrupts-after-commit: support commit-before-interrupt mode ↵David Aspinall
[experimental/temporary].
2010-08-15Fix menu/node order inside internal chapterDavid Aspinall
2010-08-15Set version tag for new release.David Aspinall
2010-08-15Elisp timingDavid Aspinall
2010-08-15Moved filesDavid Aspinall
2010-08-13More testsDavid Aspinall
2010-08-13coq-highlight-error: make robust against proof script buffer deactivatingDavid Aspinall
2010-08-13Comment out some lines so that processes.David Aspinall
2010-08-13Updated.David Aspinall
2010-08-13Renamed fileDavid Aspinall
2010-08-13proof-activate-scripting: make sure can succeed whenDavid Aspinall
proof-activate-scripting-hook does nothing (case: switching buffers in Coq when there was an error)
2010-08-11Remove deliberately buggy code at the end (Coq seems to be fixed)David 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-11isabelle-quote-face: add this face to customize vanishing quotesDavid Aspinall
2010-08-11unicode-tokens-symbol-font-face: default to italic and support settingDavid Aspinall
the symbol font face's :slant as well as :family attributes.
2010-08-11Experiment with default string font being italic, to match STIX italic.David Aspinall
2010-08-11only run custom font-lock-fontify-syntactically-region on PG buffersDavid Aspinall
2010-08-11Try to fix processing of this fileDavid Aspinall
2010-08-11Support custom syntactic fontification. Split out pa macros.David Aspinall
2010-08-11Support custom syntactic fontification.David Aspinall
2010-08-11Remove double provideDavid Aspinall
2010-08-11isabelle-string-face: switch to a more traditional greenDavid Aspinall
(strings are brown, but logic is green)
2010-08-09Fix compile and spellingDavid Aspinall
2010-08-09Use pg-dev profiling configurationDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 00:18:52 +0000