| Commit message (Expand) | Author | Age |
* | 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 |
* | 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 |