aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
...
* Adjust handling of insertion of newlines before next command.Gravatar David Aspinall2010-10-01
* DocGravatar David Aspinall2010-09-29
* mapcar -> mapc to fix compile errorGravatar David Aspinall2010-09-08
* Remove debug messageGravatar David Aspinall2010-09-08
* Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ...Gravatar David Aspinall2010-09-08
* Trivial comment changeGravatar David Aspinall2010-09-08
* Tidy comments.Gravatar David Aspinall2010-09-08
* proof-assert-electric-terminator: fix for proof-terminal-string, not charGravatar David Aspinall2010-09-07
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....Gravatar David Aspinall2010-08-27
* Fix compile: declare proof-interrupt-processGravatar David Aspinall2010-08-25
* proof-retract-before-change: now interrupts are robust in Isabelle, tryGravatar David Aspinall2010-08-25
* Bring syntactic context functions togetherGravatar David Aspinall2010-08-25
* Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...Gravatar David Aspinall2010-08-17
* WhitespaceGravatar David Aspinall2010-08-17
* Clean up handling of pending interrupts, remove experimental proof-shell-inte...Gravatar David Aspinall2010-08-17
* Fix compile errors, update tagsGravatar David Aspinall2010-08-16
* Preliminary and experimental support for automatically sending commands.Gravatar David Aspinall2010-08-15
* proof-activate-scripting: make sure can succeed whenGravatar David Aspinall2010-08-13
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11
* proof-assert-electric-terminator: give more user-friendly error message if un...Gravatar David Aspinall2010-08-08
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* proof-assert-electric-terminator: fix logic for inserting at buffer endGravatar David Aspinall2010-08-03
* Move key binding for proof assistant keymap (fixes compilation bug)Gravatar David Aspinall2010-08-03
* save-some-buffers: only offer to save proof script buffersGravatar David Aspinall2010-08-03
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* Rework script span element hiding to avoid buffer-invisibility-spec. Add com...Gravatar David Aspinall2009-12-03
* Fix for Trac #307.Gravatar David Aspinall2009-11-30
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* Add `proof-script-sticky-error-face' and `proof-sticky-errors' setting.Gravatar David Aspinall2009-11-28
* proof-script-use-old-parser: remove configuration option and cleanupGravatar David Aspinall2009-10-15
* Shorten commentsGravatar David Aspinall2009-10-14
* proof-script-generic-parse-cmdstart: set case-fold-searchGravatar David Aspinall2009-10-03
* proof-assert-electric-terminator: repair so works at end of bufferGravatar David Aspinall2009-10-03
* proof-retract-before-change: give error if prover busyGravatar David Aspinall2009-10-02
* Functions find-and-forget and count-undos now return lists of commandsGravatar David Aspinall2009-09-28
* pg-toggle-element-visibility: Add back `redraw-frame' call, it *is*Gravatar David Aspinall2009-09-25
* Remove redisplay function call for Emacs, seems unnecssary.Gravatar David Aspinall2009-09-21
* Repair some of proof visibility handlingGravatar David Aspinall2009-09-21
* proof-script-clear-queue-spans-on-error: jump to start of error spanGravatar David Aspinall2009-09-20
* pg-set-span-helphighlights: add hook to delete help highlightGravatar David Aspinall2009-09-20
* proof-cmdstart-add-segment-for-cmd: classify all whitespace as aGravatar David Aspinall2009-09-20
* pg-last-output-displayform: protect against empty stringGravatar David Aspinall2009-09-16
* When calling proof-script-preprocess, fix starting position.Gravatar David Aspinall2009-09-15
* Fix compile issuesGravatar David Aspinall2009-09-14
* proof-span-give-warning: no message if inhibit-read-only is setGravatar David Aspinall2009-09-14
* Move insert-electric-terminator here. Add experimental error spans. Doc imp...Gravatar David Aspinall2009-09-14
* Disable debug message in IsarGravatar David Aspinall2009-09-10
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 05:12:39 +0000