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-config.el
Commit message (
Expand
)
Author
Age
*
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 #154.
Pierre Courtieu
2017-02-23
*
fix generic interrupt procedure to interrupt parallel background compilation
Hendrik Tews
2016-12-14
*
proof-retract-command-hook added + more auto adjust width in coq mode.
Pierre Courtieu
2015-10-13
*
proof-assert-command-hook added + Auto adjust width in coq mode.
Pierre Courtieu
2015-10-12
*
Fixing 4096 character limit of scomint-send-input.
Pierre Courtieu
2015-10-09
*
cleaned previous commits (generic variable to disable error coloring).
Pierre Courtieu
2015-02-04
*
Fixed response display spurious newlines for coq.
Pierre Courtieu
2014-12-18
*
- first version of parallel asynchronous compilation for coq in
Hendrik Tews
2012-11-13
*
proof-shell-process-connection-type: try using pipes by default in Emacs 24,
David Aspinall
2012-09-14
*
Improve configuration for HOL Light. Allow goals display to be prefixed by i...
David Aspinall
2012-01-09
*
proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start
David Aspinall
2012-01-09
*
merge ProofTreeBranch into main trunk:
Hendrik Tews
2012-01-03
*
fix a log of broken customization types
Hendrik Tews
2011-12-06
*
Quick stab at support for switching to proof shell when interactive support e...
David Aspinall
2011-11-15
*
To fix pgshell mode, restore proof-shell-insert support for a single string a...
David Aspinall
2011-10-13
*
- flushed proof-done-advancing-require-function and
Hendrik Tews
2011-05-05
*
proof-shell-insert-hook: Clean docstring, addressing #396.
David Aspinall
2011-04-13
*
Make proof-shell-quit-timeout a prover-specific customize option, default to ...
David Aspinall
2011-01-23
*
Fix typo
David Aspinall
2011-01-23
*
- fixed compilation errors
Hendrik Tews
2011-01-18
*
- 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
*
Patch to add pgipfloat type.
David Aspinall
2010-12-16
*
Support proof-shell-init-cmd being a list
David Aspinall
2010-09-29
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
*
Reduce quit timeout to sensible value
David Aspinall
2010-08-24
*
proof-shell-process-connection-type: Revert to long-lived previous default of...
David Aspinall
2010-08-19
*
proof-shell-process-connection-type: remove near obsolete test and text
David Aspinall
2010-08-18
*
Clean up handling of pending interrupts, remove experimental proof-shell-inte...
David Aspinall
2010-08-17
*
proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...
David Aspinall
2010-08-15
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
docstring
David Aspinall
2009-12-04
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
*
even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast*...
Makarius Wenzel
2009-11-30
*
raised proof-shell-quit-timeout to accomodate bulky write-back images;
Makarius Wenzel
2009-11-29
*
Remove doc mention of obsolete function `pg-assoc-analyse-structure'.
David Aspinall
2009-11-28
*
proof-script-use-old-parser: remove configuration option and cleanup
David Aspinall
2009-10-15
*
Remove `next-entity' settings for func-menu.
David Aspinall
2009-10-14
*
Typo
David Aspinall
2009-09-28
*
Functions find-and-forget and count-undos now return lists of commands
David Aspinall
2009-09-28
*
Fix docs
David Aspinall
2009-09-11
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positions
David Aspinall
2009-09-09
*
p-s-classify-output -> p-s-handle-output, and simplify system-specific hook
David Aspinall
2009-09-09
*
proof-shell-quiet-errors: move to user opts custom group
David Aspinall
2009-09-09
*
proof-kill-goal-command: default to nil, not empty string
David Aspinall
2009-09-08
*
Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...
David Aspinall
2009-09-08
[next]