aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Add command bound to C-c C-a h ? to show available help keysGravatar 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
* Fix key bindings. Ref Trac#334Gravatar 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
* Minor tweaks to versions, etc.Gravatar David Aspinall2010-08-17
* CommentsGravatar David Aspinall2010-08-17
* Bump Emacs versionGravatar 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
* Set proof-shell-interrupts-after-commit = nilGravatar David Aspinall2010-08-16
* 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
* Remove superfluous spaces (re Trac #331).Gravatar David Aspinall2010-08-15
* Preliminary and experimental support for automatically sending commands.Gravatar David Aspinall2010-08-15
* Update.Gravatar David Aspinall2010-08-15
* proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...Gravatar David Aspinall2010-08-15
* Fix menu/node order inside internal chapterGravatar David Aspinall2010-08-15
* Set version tag for new release.Gravatar David Aspinall2010-08-15
* Elisp timingGravatar David Aspinall2010-08-15
* Moved filesGravatar David Aspinall2010-08-15
* More testsGravatar David Aspinall2010-08-13
* coq-highlight-error: make robust against proof script buffer deactivatingGravatar David Aspinall2010-08-13
* Comment out some lines so that processes.Gravatar David Aspinall2010-08-13
* Updated.Gravatar David Aspinall2010-08-13
* Renamed fileGravatar David Aspinall2010-08-13
* proof-activate-scripting: make sure can succeed whenGravatar David Aspinall2010-08-13
* Remove deliberately buggy code at the end (Coq seems to be fixed)Gravatar David Aspinall2010-08-11
* 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
* isabelle-quote-face: add this face to customize vanishing quotesGravatar David Aspinall2010-08-11
* unicode-tokens-symbol-font-face: default to italic and support settingGravatar David Aspinall2010-08-11
* Experiment with default string font being italic, to match STIX italic.Gravatar David Aspinall2010-08-11
* only run custom font-lock-fontify-syntactically-region on PG buffersGravatar David Aspinall2010-08-11
* Try to fix processing of this fileGravatar David Aspinall2010-08-11
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11
* Support custom syntactic fontification.Gravatar David Aspinall2010-08-11
* Remove double provideGravatar David Aspinall2010-08-11
* isabelle-string-face: switch to a more traditional greenGravatar David Aspinall2010-08-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 16:09:07 +0000