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-shell.el
Commit message (
Expand
)
Author
Age
*
Fixes the fix of #407. Is this temporary.
Pierre Courtieu
2018-12-14
*
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-12-13
*
Cleanup patch; Moving defvar to toplevel
Stefan Monnier
2018-12-12
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Fixing bug #187 by removing trailing spaces from prog name.
Pierre Courtieu
2017-06-06
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
*
Merge pull request #157 from ProofGeneral/elpa
Clément Pit-Claudel
2017-05-05
|
\
*
|
Fixing #167.
Pierre Courtieu
2017-03-13
|
*
Remove unnecessary calls to 'eval-and-compile'
Clément Pit--Claudel
2017-03-08
|
/
*
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
[next]