aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2010-08-08proof-assert-electric-terminator: give more user-friendly error message if ↵David Aspinall
unparseable
2010-08-08Add timestamps. Fix random jump spurious error.David Aspinall
2010-08-08Note completeDavid Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-04isabelle-string-face: introduce custom string colour as font lock default is ↵David Aspinall
terrible
2010-08-04Swap phi and varphi for better consistency with STIX.David Aspinall
2010-08-04isar-remove-file: remove (tail) recursion, leads to stack overflowDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 11:40:10 +0000