index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-script.el
Commit message (
Expand
)
Author
Age
*
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...
David Aspinall
2011-10-13
*
Add autoload.
David Aspinall
2011-06-09
*
- fix for #408: Only use the buffer name in
Hendrik Tews
2011-06-08
*
Trac#403: wait for retraction to complete before returning, to
David Aspinall
2011-05-30
*
ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404
David Aspinall
2011-05-27
*
proof-retract-before-change: fix Trac #403 (at least partially) by
David Aspinall
2011-05-26
*
Patch for Trac#400.
David Aspinall
2011-05-16
*
Tweak for `proof-segment-up-to-using-cache': better handling of
David Aspinall
2011-05-12
*
Attempted fix for `proof-segment-up-to-using-cache', re
David Aspinall
2011-05-12
*
- flushed proof-done-advancing-require-function and
Hendrik Tews
2011-05-05
*
Fix for Trac #397. Needs some exercise.
David Aspinall
2011-04-26
*
Add proof-output-tooltips option to turn off output highlighting for people w...
David Aspinall
2011-04-13
*
- change to proof-restart-buffers for unlocking ancestors
Hendrik Tews
2011-03-14
*
Support mouse action on modeline indicator for scripting mode
David Aspinall
2011-01-31
*
proof-deactivate-scripting: cleanup this function to make more
David Aspinall
2011-01-25
*
- change 'span-delete-action in 'span-delete-actions, which is
Hendrik Tews
2011-01-24
*
proof-protected-process-or-retract: don't give failure error if nothing to do
David Aspinall
2011-01-23
*
pg-show-all-portions: protect against empty hash tables
David Aspinall
2011-01-19
*
- move proof-no-fully-processed-buffer to generic/proof-config
Hendrik Tews
2011-01-14
*
Add preliminary support for multiple files for coq.
Hendrik Tews
2011-01-12
*
proof-segment-up-to-using-cache: improve attempt
David Aspinall
2010-10-11
*
Fix debug message format
David Aspinall
2010-10-10
*
pg-span-name: improve docstring.
David Aspinall
2010-10-10
*
Fix to last patch.
David Aspinall
2010-10-10
*
proof-assert-electric-terminator: prevent adding terminator if point is after...
David Aspinall
2010-10-10
*
Move utility span-make-modifying-removing-span to span.el
David Aspinall
2010-10-01
*
proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in...
David Aspinall
2010-10-01
*
Adjust handling of insertion of newlines before next command.
David Aspinall
2010-10-01
*
Doc
David Aspinall
2010-09-29
*
mapcar -> mapc to fix compile error
David Aspinall
2010-09-08
*
Remove debug message
David Aspinall
2010-09-08
*
Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ...
David Aspinall
2010-09-08
*
Trivial comment change
David Aspinall
2010-09-08
*
Tidy comments.
David Aspinall
2010-09-08
*
proof-assert-electric-terminator: fix for proof-terminal-string, not char
David Aspinall
2010-09-07
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
*
Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....
David Aspinall
2010-08-27
*
Fix compile: declare proof-interrupt-process
David Aspinall
2010-08-25
*
proof-retract-before-change: now interrupts are robust in Isabelle, try
David Aspinall
2010-08-25
*
Bring syntactic context functions together
David Aspinall
2010-08-25
*
Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...
David Aspinall
2010-08-17
*
Whitespace
David Aspinall
2010-08-17
*
Clean up handling of pending interrupts, remove experimental proof-shell-inte...
David Aspinall
2010-08-17
*
Fix compile errors, update tags
David Aspinall
2010-08-16
*
Preliminary and experimental support for automatically sending commands.
David Aspinall
2010-08-15
*
proof-activate-scripting: make sure can succeed when
David Aspinall
2010-08-13
*
Support custom syntactic fontification. Split out pa macros.
David Aspinall
2010-08-11
*
proof-assert-electric-terminator: give more user-friendly error message if un...
David Aspinall
2010-08-08
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
proof-assert-electric-terminator: fix logic for inserting at buffer end
David Aspinall
2010-08-03
[next]