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
*
Merge pull request #133 from hendriktews/file-error
hendriktews
2016-12-16
|
\
*
|
add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576
Hendrik Tews
2016-12-15
*
|
fix :get for coq-search-blacklist
Hendrik Tews
2016-12-15
*
|
Merge pull request #101 from tchajed/print-universes-option
hendriktews
2016-12-15
|
\
\
|
|
*
die gracefully when visiting files in nonexisting directories
Hendrik Tews
2016-12-15
|
|
/
|
/
|
*
|
fix generic interrupt procedure to interrupt parallel background compilation
Hendrik Tews
2016-12-14
*
|
fix race in vio2vo compilation start
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
|
\
\
\
|
*
|
|
Same name guessing for coqc/coqdep then for coqtop.
Pierre Courtieu
2016-12-13
|
*
|
|
remove default absolute name from coq-prog-name, but keep dipsplaying it when...
Pierre Courtieu
2016-12-12
|
|
*
|
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
|
*
Add Set Printing Universes to options menu
Tej Chajed
2016-08-15
|
/
*
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
[next]