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
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Fix #7980, keep option order unchanged.
Pierre Courtieu
2018-08-18
*
fix #355 + probable bug.
Pierre Courtieu
2018-06-11
*
Merge pull request #207 from SkySkimmer/master
Erik Martin-Dorel
2018-04-08
|
\
*
|
Fix typos in custom variable descriptions. (#236)
Tej Chajed
2018-03-03
*
|
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
|
*
Make coq-prog-args safe when list of strings.
Gaëtan Gilbert
2017-12-22
|
/
*
changed -emacs-U flag to -emacs
Paul Steckler
2017-07-19
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
*
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