| Age | Commit message (Expand) | Author |
|---|
| 2013-01-15 | - support bullets and braces in Prooftree | Hendrik Tews |
| 2013-01-10 | fix parallel overlapping calls of proof-shell-filter | Hendrik Tews |
| 2013-01-03 | - fix asserting when parallel background compilation is in progress | Hendrik Tews |
| 2012-11-13 | - first version of parallel asynchronous compilation for coq in | Hendrik Tews |
| 2012-11-09 | Doc for pg-finish-tracing-display | David Aspinall |
| 2012-08-16 | Add option proof-layout-windows-on-visit-file, addressing Trac #444 | David Aspinall |
| 2012-05-24 | kill windows showing response and goals buffers on proof-shell-exit | Hendrik Tews |
| 2012-02-08 | proof-shell-start: initialise associated buffers before shell mode, so in rig... | David Aspinall |
| 2012-01-19 | Typo | David Aspinall |
| 2012-01-10 | Tweak message and display model, in particular, make sure that when a | David Aspinall |
| 2012-01-09 | Improve configuration for HOL Light. Allow goals display to be prefixed by i... | David Aspinall |
| 2012-01-03 | merge ProofTreeBranch into main trunk: | Hendrik Tews |
| 2011-12-07 | - protect proof-shell-handle-delayed-output against the case where | Hendrik Tews |
| 2011-12-06 | use the start of proof-shell-end-goals-regexp, as documented | Hendrik Tews |
| 2011-11-15 | Quick stab at support for switching to proof shell when interactive support e... | David Aspinall |
| 2011-10-17 | Add fix and regression test for Trac #138 | David Aspinall |
| 2011-10-13 | To fix pgshell mode, restore proof-shell-insert support for a single string a... | David Aspinall |
| 2011-09-14 | fix #421 with solution 1 | Hendrik Tews |
| 2011-09-14 | Fix typo | David Aspinall |
| 2011-09-14 | Remove contentious call to set-process-query-on-exit-flag, ref Trac#424 | David Aspinall |
| 2011-09-11 | Fix proof-shell-exit optional argument with (interactive) thanks to | Pierre Courtieu |
| 2011-04-19 | * small doc fix | Hendrik Tews |
| 2011-04-15 | * fix overwriting setq coq-prog-name before loading Proof General | Hendrik Tews |
| 2011-03-14 | - change to proof-restart-buffers for unlocking ancestors | Hendrik Tews |
| 2011-02-14 | put coq compilation feature into coq settings menu | Hendrik Tews |
| 2011-01-31 | Improve handling of trace buffer and tracing slow mode. | David Aspinall |
| 2011-01-26 | - more info on the elements of proof-action-list; the COMMANDS | Hendrik Tews |
| 2011-01-25 | proof-shell-kill-function: use our own busy loop, as proof-shell-wait | David Aspinall |
| 2011-01-23 | proof-shell-exit: mention quit command and quit timeout in doc | David Aspinall |
| 2011-01-23 | Make proof-shell-quit-timeout a prover-specific customize option, default to ... | David Aspinall |
| 2011-01-23 | Kill prover process without asking on Emacs exit | David Aspinall |
| 2011-01-18 | - fixed stale load path problem with killing the proof shell in | Hendrik Tews |
| 2011-01-18 | Localise compilation fix for dynamic scope of `queueitems\'. | David Aspinall |
| 2011-01-18 | - fixed compilation errors | Hendrik Tews |
| 2011-01-18 | - fix broken external compilation | Hendrik Tews |
| 2011-01-14 | - simple backward compatible change to invoke a function to | Hendrik Tews |
| 2011-01-12 | Add preliminary support for multiple files for coq. | Hendrik Tews |
| 2010-10-10 | Adjust a comment on proof-shell-mode | David Aspinall |
| 2010-10-01 | Add explicit 'invisible flag on the action list for invisible commands. | David Aspinall |
| 2010-10-01 | proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in... | David Aspinall |
| 2010-09-29 | Support proof-shell-init-cmd being a list | David Aspinall |
| 2010-09-29 | Support proof-shell-init-cmd being a list | David Aspinall |
| 2010-09-21 | Introduce more colourings for active scripting indicator. | David Aspinall |
| 2010-09-08 | Script mouse face highlighting: new faces/colours for commands and regions, r... | David Aspinall |
| 2010-08-27 | Replace proof-terminal-char with proof-terminal-string. | David Aspinall |
| 2010-08-26 | Move erase-buffer from associate buffer mode functions, allowing clone-buffer... | David Aspinall |
| 2010-08-26 | proof-shell-display-output-as-response: fix to check for no-response-display, | David Aspinall |
| 2010-08-26 | proof-interrupt-process: make sure works from non-proof shell buffers. | David Aspinall |
| 2010-08-25 | proof-shell-handle-error-or-interrupt: prevent an error in | David Aspinall |
| 2010-08-24 | Tidy shell start and quit functions | David Aspinall |
