| Commit message (Expand) | Author | Age |
* | Removing spurious debug messages. | Pierre Courtieu | 2017-02-24 |
* | Fixing #154. | Pierre Courtieu | 2017-02-23 |
* | split emergency-cleanup to handle interrupts properly (fixes #143) | Hendrik Tews | 2017-01-18 |
* | fix generic interrupt procedure to interrupt parallel background compilation | Hendrik Tews | 2016-12-14 |
* | Merge pull request #129 from hendriktews/keep-going | hendriktews | 2016-12-14 |
|\ |
|
* \ | Merge pull request #132 from Matafou/master | Pierre Courtieu | 2016-12-14 |
|\ \ |
|
| * | | remove default absolute name from coq-prog-name, but keep dipsplaying it when... | Pierre Courtieu | 2016-12-12 |
| | * | option coq-compile-keep-going for parallel compilation | Hendrik Tews | 2016-12-08 |
| |/
|/| |
|
* | | fix 2 compilation warnings (fixes #33) | Hendrik Tews | 2016-11-30 |
|/ |
|
* | Reset proof-script-buffer to nil if -ready-prover fails | Clément Pit--Claudel | 2016-06-10 |
* | Fix spurious scrolling of *goals* and *response* buffers | Clément Pit--Claudel | 2015-12-31 |
* | Trying to not delete frames too eagerly when laying out. | Pierre Courtieu | 2015-10-09 |
* | Fixes #503. | Pierre Courtieu | 2015-03-09 |
* | cleaned previous commits (generic variable to disable error coloring). | Pierre Courtieu | 2015-02-04 |
* | * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition. | Stefan Monnier | 2014-06-04 |
* | - support bullets and braces in Prooftree | Hendrik Tews | 2013-01-15 |
* | fix parallel overlapping calls of proof-shell-filter | Hendrik Tews | 2013-01-10 |
* | - fix asserting when parallel background compilation is in progress | Hendrik Tews | 2013-01-03 |
* | - first version of parallel asynchronous compilation for coq in | Hendrik Tews | 2012-11-13 |
* | Doc for pg-finish-tracing-display | David Aspinall | 2012-11-09 |
* | Add option proof-layout-windows-on-visit-file, addressing Trac #444 | David Aspinall | 2012-08-16 |
* | kill windows showing response and goals buffers on proof-shell-exit | Hendrik Tews | 2012-05-24 |
* | proof-shell-start: initialise associated buffers before shell mode, so in rig... | David Aspinall | 2012-02-08 |
* | Typo | David Aspinall | 2012-01-19 |
* | Tweak message and display model, in particular, make sure that when a | David Aspinall | 2012-01-10 |
* | Improve configuration for HOL Light. Allow goals display to be prefixed by i... | David Aspinall | 2012-01-09 |
* | merge ProofTreeBranch into main trunk: | Hendrik Tews | 2012-01-03 |
* | - protect proof-shell-handle-delayed-output against the case where | Hendrik Tews | 2011-12-07 |
* | use the start of proof-shell-end-goals-regexp, as documented | Hendrik Tews | 2011-12-06 |
* | Quick stab at support for switching to proof shell when interactive support e... | David Aspinall | 2011-11-15 |
* | Add fix and regression test for Trac #138 | David Aspinall | 2011-10-17 |
* | To fix pgshell mode, restore proof-shell-insert support for a single string a... | David Aspinall | 2011-10-13 |
* | 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-14 |
* | Fix proof-shell-exit optional argument with (interactive) thanks to | Pierre Courtieu | 2011-09-11 |
* | * small doc fix | Hendrik Tews | 2011-04-19 |
* | * fix overwriting setq coq-prog-name before loading Proof General | Hendrik Tews | 2011-04-15 |
* | - change to proof-restart-buffers for unlocking ancestors | Hendrik Tews | 2011-03-14 |
* | put coq compilation feature into coq settings menu | Hendrik Tews | 2011-02-14 |
* | Improve handling of trace buffer and tracing slow mode. | David Aspinall | 2011-01-31 |
* | - more info on the elements of proof-action-list; the COMMANDS | Hendrik Tews | 2011-01-26 |
* | proof-shell-kill-function: use our own busy loop, as proof-shell-wait | David Aspinall | 2011-01-25 |
* | 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-23 |
* | - 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-18 |