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
/
coq-system.el
Commit message (
Expand
)
Author
Age
*
Remove compile-time calls to proof-ready-for-assistant
Clément Pit--Claudel
2017-03-08
*
Fix incorrect uses of defvar
Clément Pit--Claudel
2017-03-08
*
Fixing #147 and #91 + others indentation bugs.
Pierre Courtieu
2017-01-26
*
Fix prooftree for Coq 8.6
Hendrik Tews
2017-01-14
*
die gracefully when visiting files in nonexisting directories
Hendrik Tews
2016-12-15
*
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
*
|
update documentation
Hendrik Tews
2016-11-29
|
/
*
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
*
Fail silently if Coq's version can't be detected
Clément Pit--Claudel
2016-05-19
*
Small fix for -Q options in loadpath.
Pierre Courtieu
2016-03-08
*
Remove leftover comment
Clément Pit--Claudel
2016-02-28
*
Ensure that version detection does not fail in 24.3
Clément Pit--Claudel
2016-02-06
*
Use coq-prog-name to autodetect version number
Clément Pit--Claudel
2016-02-06
*
Add a few comments to explain values of coq-load-path
Clément Pit--Claudel
2016-01-14
*
Mark coq-load-path-include-current as obsolete
Clément Pit--Claudel
2016-01-14
*
Automatically detect which version of Coq we're using
Clément Pit--Claudel
2016-01-14
*
Refactor the project file parsing code
Clément Pit--Claudel
2016-01-14
*
Refactoring. New file coq-system.el.
Pierre Courtieu
2015-12-14