aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-shell.el
Commit message (Expand)AuthorAge
* Reduce the impact of proof-site, in case PG is not usedGravatar Stefan Monnier2018-12-25
* Fixes the fix of #407. Is this temporary.Gravatar Pierre Courtieu2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fixing bug #187 by removing trailing spaces from prog name.Gravatar Pierre Courtieu2017-06-06
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Merge pull request #157 from ProofGeneral/elpaGravatar Clément Pit-Claudel2017-05-05
|\
* | Fixing #167.Gravatar Pierre Courtieu2017-03-13
| * Remove unnecessary calls to 'eval-and-compile'Gravatar Clément Pit--Claudel2017-03-08
|/
* Removing spurious debug messages.Gravatar Pierre Courtieu2017-02-24
* Fixing #154.Gravatar Pierre Courtieu2017-02-23
* split emergency-cleanup to handle interrupts properly (fixes #143)Gravatar Hendrik Tews2017-01-18
* fix generic interrupt procedure to interrupt parallel background compilationGravatar Hendrik Tews2016-12-14
* Merge pull request #129 from hendriktews/keep-goingGravatar hendriktews2016-12-14
|\
* \ Merge pull request #132 from Matafou/masterGravatar Pierre Courtieu2016-12-14
|\ \
| * | remove default absolute name from coq-prog-name, but keep dipsplaying it when...Gravatar Pierre Courtieu2016-12-12
| | * option coq-compile-keep-going for parallel compilationGravatar Hendrik Tews2016-12-08
| |/ |/|
* | fix 2 compilation warnings (fixes #33)Gravatar Hendrik Tews2016-11-30
|/
* Reset proof-script-buffer to nil if -ready-prover failsGravatar Clément Pit--Claudel2016-06-10
* Fix spurious scrolling of *goals* and *response* buffersGravatar Clément Pit--Claudel2015-12-31
* Trying to not delete frames too eagerly when laying out.Gravatar Pierre Courtieu2015-10-09
* Fixes #503.Gravatar Pierre Courtieu2015-03-09
* cleaned previous commits (generic variable to disable error coloring).Gravatar Pierre Courtieu2015-02-04
* * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Gravatar Stefan Monnier2014-06-04
* - support bullets and braces in ProoftreeGravatar Hendrik Tews2013-01-15
* fix parallel overlapping calls of proof-shell-filterGravatar Hendrik Tews2013-01-10
* - fix asserting when parallel background compilation is in progressGravatar Hendrik Tews2013-01-03
* - first version of parallel asynchronous compilation for coq inGravatar Hendrik Tews2012-11-13
* Doc for pg-finish-tracing-displayGravatar David Aspinall2012-11-09
* Add option proof-layout-windows-on-visit-file, addressing Trac #444Gravatar David Aspinall2012-08-16
* kill windows showing response and goals buffers on proof-shell-exitGravatar Hendrik Tews2012-05-24
* proof-shell-start: initialise associated buffers before shell mode, so in rig...Gravatar David Aspinall2012-02-08
* TypoGravatar David Aspinall2012-01-19
* Tweak message and display model, in particular, make sure that when aGravatar David Aspinall2012-01-10
* Improve configuration for HOL Light. Allow goals display to be prefixed by i...Gravatar David Aspinall2012-01-09
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* - protect proof-shell-handle-delayed-output against the case whereGravatar Hendrik Tews2011-12-07
* use the start of proof-shell-end-goals-regexp, as documentedGravatar Hendrik Tews2011-12-06
* Quick stab at support for switching to proof shell when interactive support e...Gravatar David Aspinall2011-11-15
* Add fix and regression test for Trac #138Gravatar David Aspinall2011-10-17
* To fix pgshell mode, restore proof-shell-insert support for a single string a...Gravatar David Aspinall2011-10-13
* fix #421 with solution 1Gravatar Hendrik Tews2011-09-14
* Fix typoGravatar David Aspinall2011-09-14
* Remove contentious call to set-process-query-on-exit-flag, ref Trac#424Gravatar David Aspinall2011-09-14
* Fix proof-shell-exit optional argument with (interactive) thanks toGravatar Pierre Courtieu2011-09-11
* * small doc fixGravatar Hendrik Tews2011-04-19
* * fix overwriting setq coq-prog-name before loading Proof GeneralGravatar Hendrik Tews2011-04-15
* - change to proof-restart-buffers for unlocking ancestorsGravatar Hendrik Tews2011-03-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 22:11:26 +0000