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
*
proof-retract-before-change: Fix #41 by saving/restoring the match data.
Erik Martin-Dorel
2016-09-25
*
Reset proof-script-buffer to nil if -ready-prover fails
Clément Pit--Claudel
2016-06-10
*
Fixing #25.
Pierre Courtieu
2016-01-06
*
proof-retract-command-hook added + more auto adjust width in coq mode.
Pierre Courtieu
2015-10-13
*
proof-assert-command-hook added + Auto adjust width in coq mode.
Pierre Courtieu
2015-10-12
*
Don't mess with overlay priorities.
Stefan Monnier
2014-06-06
*
Add option proof-layout-windows-on-visit-file, addressing Trac #444
David Aspinall
2012-08-16
*
fix 443 by enforcing that the prover is not busy in proof-retract-until-point
Hendrik Tews
2012-08-14
*
* generic/pg-user.el (which-func-modes): Fix compiler declaration.
Stefan Monnier
2012-06-29
*
Made a small change in generic code about the setting of
Pierre Courtieu
2012-06-09
*
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
[next]