aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-script.el
AgeCommit message (Expand)Author
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...David Aspinall
2011-06-09Add autoload.David Aspinall
2011-06-08- fix for #408: Only use the buffer name inHendrik Tews
2011-05-30Trac#403: wait for retraction to complete before returning, toDavid Aspinall
2011-05-27ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404David Aspinall
2011-05-26proof-retract-before-change: fix Trac #403 (at least partially) byDavid Aspinall
2011-05-16Patch for Trac#400.David Aspinall
2011-05-12Tweak for `proof-segment-up-to-using-cache': better handling ofDavid Aspinall
2011-05-12Attempted fix for `proof-segment-up-to-using-cache', reDavid Aspinall
2011-05-05- flushed proof-done-advancing-require-function andHendrik Tews
2011-04-26Fix for Trac #397. Needs some exercise.David Aspinall
2011-04-13Add proof-output-tooltips option to turn off output highlighting for people w...David Aspinall
2011-03-14- change to proof-restart-buffers for unlocking ancestorsHendrik Tews
2011-01-31Support mouse action on modeline indicator for scripting modeDavid Aspinall
2011-01-25proof-deactivate-scripting: cleanup this function to make moreDavid Aspinall
2011-01-24- change 'span-delete-action in 'span-delete-actions, which isHendrik Tews
2011-01-23proof-protected-process-or-retract: don't give failure error if nothing to doDavid Aspinall
2011-01-19pg-show-all-portions: protect against empty hash tablesDavid Aspinall
2011-01-14- move proof-no-fully-processed-buffer to generic/proof-configHendrik Tews
2011-01-12Add preliminary support for multiple files for coq.Hendrik Tews
2010-10-11proof-segment-up-to-using-cache: improve attemptDavid Aspinall
2010-10-10Fix debug message formatDavid Aspinall
2010-10-10pg-span-name: improve docstring.David Aspinall
2010-10-10Fix to last patch.David Aspinall
2010-10-10proof-assert-electric-terminator: prevent adding terminator if point is after...David Aspinall
2010-10-01Move utility span-make-modifying-removing-span to span.elDavid Aspinall
2010-10-01proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in...David Aspinall
2010-10-01Adjust handling of insertion of newlines before next command.David Aspinall
2010-09-29DocDavid Aspinall
2010-09-08mapcar -> mapc to fix compile errorDavid Aspinall
2010-09-08Remove debug messageDavid Aspinall
2010-09-08Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ...David Aspinall
2010-09-08Trivial comment changeDavid Aspinall
2010-09-08Tidy comments.David Aspinall
2010-09-07proof-assert-electric-terminator: fix for proof-terminal-string, not charDavid Aspinall
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....David Aspinall
2010-08-25Fix compile: declare proof-interrupt-processDavid Aspinall
2010-08-25proof-retract-before-change: now interrupts are robust in Isabelle, tryDavid Aspinall
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...David Aspinall
2010-08-17WhitespaceDavid Aspinall
2010-08-17Clean up handling of pending interrupts, remove experimental proof-shell-inte...David Aspinall
2010-08-16Fix compile errors, update tagsDavid Aspinall
2010-08-15Preliminary and experimental support for automatically sending commands.David Aspinall
2010-08-13proof-activate-scripting: make sure can succeed whenDavid Aspinall
2010-08-11Support custom syntactic fontification. Split out pa macros.David Aspinall
2010-08-08proof-assert-electric-terminator: give more user-friendly error message if un...David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03proof-assert-electric-terminator: fix logic for inserting at buffer endDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:31:33 +0000