index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
Commit message (
Expand
)
Author
Age
*
documentation and CHANGES for coq-compile-keep-going
Hendrik Tews
2016-12-08
*
option coq-compile-keep-going for parallel compilation
Hendrik Tews
2016-12-08
*
remove ancestor hash in Coq parallel background compilation
Hendrik Tews
2016-12-02
*
fix customize-group coq
Hendrik Tews
2016-11-30
*
style change: use when for if coq-debug-auto-compilation
Hendrik Tews
2016-11-30
*
use coq-- for internal compilation variables
Hendrik Tews
2016-11-30
*
next-error support for vio2vo error messages
Hendrik Tews
2016-11-30
*
update documentation
Hendrik Tews
2016-11-29
*
delay vio2vo compilation
Hendrik Tews
2016-11-29
*
8.4 compatibility for quick support
Hendrik Tews
2016-11-29
*
don't unnecessarily delete .vio files for ensure-vo
Hendrik Tews
2016-11-29
*
support vio2vo background processing
Hendrik Tews
2016-11-29
*
improve compilation when both .vio and .vo are up-to-date
Hendrik Tews
2016-11-22
*
reconcile menu for auto compilation
Hendrik Tews
2016-11-18
*
fix parallel compilation for the unlikely case of identical time stamps
Hendrik Tews
2016-11-17
*
first version for quick compilation
Hendrik Tews
2016-11-16
*
avoid leaving partial files behind when compilation fails
Hendrik Tews
2016-11-10
*
fix #123, also improve debugging output
Hendrik Tews
2016-11-02
*
ensure coq-compile-response-buffer is not in a dedicated window
Hendrik Tews
2016-10-28
*
fix coq-require-command-regexp (fixes #75)
Hendrik Tews
2016-10-28
*
fix typo in last commit
Hendrik Tews
2016-10-28
*
give a more helpful error message if Coq version detection fails
Hendrik Tews
2016-10-27
*
fix parallel compilation and improve assertions and debugging code
Hendrik Tews
2016-10-27
*
Make it possible to work around #113
Clément Pit--Claudel
2016-09-28
*
Make shell and perl scripts executable.
Erik Martin-Dorel
2016-09-19
*
Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).
Erik Martin-Dorel
2016-08-14
*
Replace "Set Implicit Arguments" option with "Set Printing Implicit".
Erik Martin-Dorel
2016-08-14
*
Add Reserved Infix like Reserved Notation (#95)
Jason Gross
2016-08-14
*
Adding the option to highlight susual symbols.
Pierre Courtieu
2016-07-22
*
Highlight Existing Class like Existing Instance (#85)
Jason Gross
2016-07-03
*
Highlight [nra] like [nia] and [lia] and [lra] (#84)
Jason Gross
2016-07-01
*
Fix a typo
Clément Pit--Claudel
2016-06-23
*
par-compile: Don't try to compile plugins (cm.*)
Clément Pit--Claudel
2016-06-23
*
Fix a type error hidden until recent emacs.
Pierre Courtieu
2016-06-23
*
Coq: option to prefer top over bottom of concl.
Pierre Courtieu
2016-06-23
*
Color lia, romega, nia, psatz, nsatz, lra
Jason Gross
2016-06-10
*
abbrev twivking.
Pierre Courtieu
2016-06-08
*
Fixing font-locking of unicode forall etc.
Pierre Courtieu
2016-06-08
*
Fixing a smal glitch in indentation.
Pierre Courtieu
2016-05-27
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2016-05-20
|
\
*
|
Fix #72+ make user keywords prioritized over default ones.
Pierre Courtieu
2016-05-20
|
*
Fail silently if Coq's version can't be detected
Clément Pit--Claudel
2016-05-19
|
*
Merge branch 'master' of github.com:ProofGeneral/PG
Clément Pit--Claudel
2016-05-16
|
|
\
|
|
/
|
/
|
|
*
Don't offer "" as the default in C-c C-c C-a
Clément Pit--Claudel
2016-05-16
|
*
coq-syntax: Add a debug spec
Clément Pit--Claudel
2016-05-16
*
|
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2016-05-02
|
\
|
*
|
Fixing detection of symbol at point.
Pierre Courtieu
2016-05-02
|
*
Don't use string-empty-p
Clément Pit--Claudel
2016-04-25
|
*
Respect user settings in coq-insert-intros
Clément Pit--Claudel
2016-04-14
|
/
*
Option to toggle optimising response windo heigth.
Pierre Courtieu
2016-03-21
[next]